Ambil \(x\in f^{-1}(Y\setminus B)\text{.}\) Panduan 16 memberi \(f(x)\notin B\text{,}\) sehingga \(x\notin f^{-1}(B)\text{.}\) Karena domain \(f\) adalah \(X\text{,}\) juga \(x\in X\text{;}\) jadi \(x\in X\setminus f^{-1}(B)\text{.}\) Keumuman \(x\) membuktikan inklusi tersebut.