Tahap 1: \(C\) tertutup jika dan hanya jika \(X\setminus C\) terbuka. Tahap 2: negasikan kedua sisi pernyataan ekuivalen itu.