A topological space is a non-empty set X together with a collection T of subsets of X satisfying the conditions: (i) X, T, (ii) the union of any class of sets in T belongs to T, (iii) The intersection ...