Función biyectiva
De Wikipedia
| Una función   Equivalentemente, una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva. | 
Teorema
Si  es una función biyectiva, entonces su función inversa
 es una función biyectiva, entonces su función inversa  existe y también es biyectiva.
 existe y también es biyectiva.
Demostración:
| Una función   Equivalentemente, una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva. | 
Teorema
Si  es una función biyectiva, entonces su función inversa
 es una función biyectiva, entonces su función inversa  existe y también es biyectiva.
 existe y también es biyectiva.