Función inversa
Def. 1: Sea una función.
- es inyectiva si valores distintos del dominio tienen siempre distinta imagen. Es decir,
, con , se cumple que - es sobreyectiva si todos los valores del codominio tienen preimagen. Es decir,
- es biyectiva si es inyectiva y sobreyectiva (en este caso, establece una correspondencia biunívoca entre los conjuntos y ).
( para todo )