Jika \(A\setminus C_A=A\cap O_X\text{,}\) ambil \(C_X=X\setminus O_X\text{.}\) Untuk arah sebaliknya, komplemen relatif \(A\setminus(A\cap C_X)=A\cap(X\setminus C_X)\) terbuka di \(A\text{.}\)