f :A→B bir fonksiyon olsun.
1) f , 1-1 ⇔ f bir sol terse sahiptir.
2) f , örtendir ⇔ f bir sağ terse sahiptir.
3) f 1-1 ve örtendir. ⇔ öyle bir g:B→A fonksiyonu vardır ki
fog : B üzerinde birim fonksiyondur
g∘f : A üzerinde birim fonksiyondur
4) Eğer A ve B eleman sayıları aynı ve sonlu kümelerse
f:A\rightarrow B f:A→B , 1-1 ve örten ⇔ f 1-1 dir ⇔ f örtendir.
kanıtlayınız.