Selalu \(f(\bigcap_{\alpha\in I}A_\alpha)\subseteq \bigcap_{\alpha\in I}f(A_\alpha)\text{,}\) tetapi kesamaan dapat gagal. Sebaliknya, prapeta mempertahankan irisan secara tepat: \(f^{-1}(\bigcap_{\beta\in J}B_\beta)= \bigcap_{\beta\in J}f^{-1}(B_\beta)\text{.}\)