Arah maju. Karena \(A\setminus C_A\) terbuka dalam \(A\text{,}\) tuliskan \(A\setminus C_A=A\cap O_X\) untuk suatu \(O_X\) terbuka dalam \(X\text{,}\) lalu ambil \(C_X=X\setminus O_X\text{.}\)

Arah balik. Ambil komplemen relatif dari \(C_A=A\cap C_X\) di dalam \(A\text{.}\)