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} \text{int} \langle U \rangle = U \end{equation}