Pilih \(Q\) yang memuat \(f(P)\text{;}\) maka \(P\subseteq f^{-1}(Q)\text{.}\) Bila \(P=X\text{,}\) surjektivitas memberi \(Q=Y\text{.}\)