Tahap 1: dari \(f(x)\notin B\text{,}\) simpulkan \(x\notin f^{-1}(B)\text{.}\) Tahap 2: karena \(x\in X\text{,}\) tuliskan keanggotaan itu sebagai keanggotaan dalam komplemen relatif.