Sia f : A
®
B. Provare che f è iniettiva se solo se per ogni h : A
®
C esiste h' : B
®
C tale che h'
·
f=h.
Sia f : A
®
B. Provare che f è suriettiva se solo se per ogni h : C
®
B esiste h' : C
®
A tale che f
·
h'=h.