Bijekcija: razlika između inačica

Relacija ''f'' iz ''X'' u ''Y'' je bijektivna funkcija ako i samo ako postoji druga relacija ''g'' iz ''Y'' u ''X'' takva da je ''g''&nbsp;<small>o</small>&nbsp;''f'' [[identiteta]] na ''X'', i ''f''&nbsp;<small>o</small>&nbsp;''g'' je [[identiteta]] na ''Y''. Slijedi da skupovi imaju isti kardinalni broj

 

{{Reference}}