Selalu \(A\subseteq f^{-1}(f(A))\) dan \(f(f^{-1}(B))\subseteq B\text{,}\) dan keduanya dapat ketat. Kesamaan kedua berlaku untuk setiap \(B\subseteq Y\) tepat ketika \(f\) surjektif; kesamaan pertama berlaku untuk setiap \(A\subseteq X\) tepat ketika \(f\) injektif.