**topological space**if and only if

(1) | $X$ is a D11: Set |

(2) | $\mathcal{T}$ is a D86: Topology on $X$ |

Definition D1106

Topological space

Formulation 0

An D548: Ordered pair $T = (X, \mathcal{T})$ is a **topological space** if and only if

(1) | $X$ is a D11: Set |

(2) | $\mathcal{T}$ is a D86: Topology on $X$ |

Children