Definition 1 A topological space is a pair where is a set and is a collection of subsets of such that (i) the subsets and belongs to , (ii) any finite intersection of elements of also belongs to , and (iii) any union of elements of also belongs to . The elements of are called open sets and the complements of those elements of are … Continue reading The Product Topology