Tahap 1. Pisahkan syarat “tertutup”, “memuat \(A\)”, dan “terkecil”.

Tahap 2. “Terkecil” diukur dengan relasi inklusi, bukan dengan kardinalitas.

Tahap 3. Kuantifikasikan syarat terakhir terhadap setiap himpunan tertutup lain yang memuat \(A\text{.}\)