Dua syarat pertama menyatakan bahwa \(\overline{A}\) sendiri merupakan salah satu subhimpunan tertutup yang memuat \(A\text{.}\) Syarat ketiga menyatakan bahwa subhimpunan itu termuat dalam setiap calon lain. Karena urutan yang digunakan adalah inklusi, ketiga syarat tersebut tepat mengungkapkan bahwa \(\overline{A}\) adalah subhimpunan tertutup terkecil yang memuat \(A\text{.}\)