Dari panduan bijektivitas, \(f^{-1}=f\text{.}\) Jadi prapeta \(U\) sama dengan citra \(U\) di bawah fungsi yang sama.