Tahap 1. Hitung dahulu \(\sigma\) secara eksplisit.

Tahap 2. Periksa bahwa \(\emptyset\) dan \(Y\) berada dalam daftar tersebut.

Tahap 3. Untuk keluarga tiga himpunan \(\{\emptyset,S,Y\}\text{,}\) analisis semua kemungkinan gabungan dan irisan berhingga.