Definition 1.4 On any set we define the discrete topology by taking all
subsets of X to be open. Any subset is then both open and closed. We have three
cases, the finite discrete, the countable discrete topology and the uncountable
discrete topology according to whether the set X is finite, countably infinite or
uncountable.