Jika \(\mathcal U\) menyatakan keluarga semua \(U\subseteq A\) yang terbuka dalam \(X\text{,}\) maka \(\Int(A)=\bigcup_{U\in\mathcal U}U\text{.}\)