Sia f : A
®
B. Provare che f è iniettiva se solo se esiste g : B
®
A tale che g
·
f=1
A
.
Sia f : A
®
B. Provare che f è suriettiva se solo se esiste g : B
®
A tale che f
·
g=1
B
.