Jika \(\mathcal F\) menyatakan keluarga semua \(F\subseteq X\) yang tertutup dan memuat \(A\text{,}\) maka \(\overline A=\bigcap_{F\in\mathcal F}F\text{.}\)