A topological space is an ordered pair (X,T) where X is a set and T⊆P(X) is a topology on X, meaning:
- ∅∈T and X∈T,
- if {Ui}i∈I⊆T then ⋃i∈IUi∈T,
- if U,V∈T then U∩V∈T.
Here P(X) denotes the power set of X, and the members of T are the open sets (whose complements are the closed sets). Many standard constructions—such as the subspace topology, product topology, and quotient topology—produce new topological spaces from existing ones.