Tahap 1. Ambil komplemen setiap himpunan tertutup.

Tahap 2. Gunakan hukum De Morgan untuk menerjemahkan “irisan total kosong” menjadi “komplemen-komplemennya menutupi \(X\)”.

Tahap 3. Perhatikan bahwa subselimut berhingga tepat bersesuaian dengan irisan berhingga yang kosong.