[2C1]To any given set X we may associate the discrete distance
The induced topology is the discrete topology where every subset of X is an open set.