Pertimbangkan pembatasan \(g=f|_{X'}\text{.}\) Gunakan keinjektifan dan kesurjektifan \(f\) untuk menunjukkan bahwa citra \(g\) tepat \(Y'\text{,}\) lalu identifikasi invers \(g\) sebagai pembatasan dari \(f^{-1}\text{.}\)