Dari \(A\subseteq C\) dan \(A'\subseteq C\) diperoleh \(\overline{A}=A\cup A'\subseteq C\text{.}\) Karena ini berlaku bagi setiap superset tertutup \(C\) dari \(A\text{,}\) tutupan \(A\) adalah yang terkecil.