Função bijectiva
Origem: Wikipédia, a enciclopédia livre.
Uma função bijectiva (em Portugal), função bijetora (no Brasil), correspondência biunívoca ou bijecção, é uma função injectiva e sobrejectiva.
[editar] Existência
Quando dois conjuntos finitos têm o mesmo número de elementos, então existe uma bijecção entre esses conjuntos. Na teoria dos conjuntos, essa propriedade é usada para definir a cardinalidade de conjuntos: dois conjuntos têm o mesmo número de elementos se, e somente se, existe uma bijecção entre eles.
O teorema de Cantor-Bernstein-Schroeder constrói uma bijecção entre A e B, dadas duas injecções 
e 
.
