Tahap 1. Jika \(C\) tertutup relatif, tulis \(A\setminus C=A\cap O\) untuk suatu \(O\) terbuka dalam \(X\text{.}\)

Tahap 2. Ambil \(F=X\setminus O\) dan gunakan hukum De Morgan relatif terhadap \(A\text{.}\)

Tahap 3. Untuk arah sebaliknya, mulai dari \(C=A\cap F\) dan periksa bahwa \(A\setminus C\) terbuka relatif.