Prove: For any topologies T1 and T2 for X, if B1 is a base for T1, and if B1 ⊂ T2, then T1 ⊂ T2.
Using:
Thm 2.1: A is open in (X,T) iff For every p ∈ A, there is G ∈T such that p ∈ G and G ⊂ A
Cor 8.2: B is a base for T iff: B ⊂ T and for every G ∈ T, if p ∈G, then there is A ∈ B such that p is an element of A ⊂ G

