Se g· f è biunivoca provare che f $egrave; iniettiva e g è suriettiva.
Se f:A® B e g:B® C sono funzioni biunivoche, provare che
g· f è biunivoca.
Galileo è stato forse la prima persona ad osservare esplicitamente
che si può costruire una funzione biunivoca tra un insieme ed una suo sottoinsieme proprio. Trova una funzione biunivoca tra Z
ed il suo sottoinsieme costituito dai numeri pari. La
possibilità di costruire una tale funzione caratterizza gli insiemi infiniti