Identitas berlaku untuk setiap fungsi. Dengan \(B=Y\text{,}\) diperoleh \(f^{-1}(Y\setminus C)=X\setminus f^{-1}(C)\text{.}\)