Untuk setiap \(O\subseteq X\text{,}\) komplemen \(X\setminus O\) adalah subhimpunan dari himpunan berhingga.