Invertierbarkeit bijektiver Abbildungen

Seien \(X,Y\) Mengen und \(f:X\rightarrow Y\) eine Abbildung:
TFAE:

1. \(f\) ist bijektiv
   
2. \(f\) ist umkehrbar
   

z.B. Rosenschon 1.12