ThmDex – An index of mathematical definitions, results, and conjectures.
F4618
Formulation 0
Let $T = (X, \mathcal{T})$ be a D1106: Topological space such that
(i) $U \in \mathcal{T}$ is an D97: Open set in $T$
Then \begin{equation} U \subseteq \text{int} \langle U \rangle \end{equation}