Tahap 1. Iris setiap anggota \(\tau\) dengan \(A\text{.}\)

Tahap 2. Periksa apakah \(\{a\}\) dan \(\{b\}\) buka relatif dalam \(A\text{.}\)

Tahap 3. Bandingkan gabungan dan irisan kedua singleton itu dengan \(A\) dan \(\emptyset\text{.}\)