Let $X$ be a D11: Set.
The set of topologies on $X$ is the D11: Set
\begin{equation}
\{ \mathcal{T} \subseteq \mathcal{P}(X) \mid \mathcal{T} \text{ is a topology on } X \}
\end{equation}
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Subset |
▼ | Power set |
▼ | Hyperpower set sequence |
▼ | Hyperpower set |
▼ | Hypersubset |
▼ | Subset algebra |
▼ | Topology |