Definition 2.5

Definition 2.5: Let $$X$$ be any set, and let $$T = \mathcal{P}(X)$$, the set of all subsets of $$X$$ (known as the power set). Then $$(X,T)$$ is known said to have the discrete topology.