Ambil \(x\in X\setminus f^{-1}(B)\) sebarang. Panduan 14 memberi \(f(x)\in Y\setminus B\text{,}\) yang menurut definisi prapeta berarti \(x\in f^{-1}(Y\setminus B)\text{.}\) Karena berlaku bagi setiap anggota ruas kiri, diperoleh \(X\setminus f^{-1}(B)\subseteq f^{-1}(Y\setminus B)\text{.}\)