Menurut definisi irisan, \(x\in P\cap Q\) jika dan hanya jika \(x\in P\) serta \(x\in Q\text{.}\) Dengan \(P=\overline{A}\) dan \(Q=\overline{X\setminus A}\text{,}\) kita memperoleh \(x\in\overline{A}\) dan \(x\in\overline{X\setminus A}\text{.}\) Kedua fakta ini akan dipakai terpisah sesuai apakah \(x\in A\) atau \(x\notin A\text{.}\)