Dari \(x\in X\setminus f^{-1}(B)\) diperoleh \(x\notin f^{-1}(B)\text{.}\) Definisi prapeta menyatakan \(x\in f^{-1}(B)\) jika dan hanya jika \(f(x)\in B\text{.}\) Jadi \(f(x)\notin B\text{.}\) Karena \(f(x)\in Y\text{,}\) kesimpulan itu sama dengan \(f(x)\in Y\setminus B\text{.}\)