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}