\(F_A\) adalah himpunan tertutup terkecil yang memuat \(A\text{,}\) dan sifat yang sama mencirikan \(\overline A\text{;}\) jadi keduanya sama. Monotonisitas dan idempotensi tutupan langsung mengikuti sifat minimal ini.