topological space

Let \(X\) be a set and \(\mathcal{T} \subseteq \mathcal{P}(X)\).

A topological space is a pair \((X, \mathcal{T})\) consisting of a topology \(\mathcal{T}\)