A topology on
∅ , X ∈ T - Suppose
is a family of sets in{ U α } thenT - Suppose
is a finite family of set in{ U i } i = 1 n thenT
A topology on
Since for each
Since each
suppose that
given two topologies, they are comparable if at least one is finer than the other