Let T consist of , and all intervals (- ,p) for p . Prove that T is a topology on
Axioms of a topology :
and belong to the collection.
A finite intersection of sets in the collection is in the collection.
An arbitrary union of sets in the collection is in the collection.