Una función, en matemáticas, es el término usado para indicar la relación o correspondencia entre dos o más cantidades. Una función f de A en B es una relación. Para que una relación de un conjunto A en otro B sea función, debe cumplir dos condiciones, a saber:
* Condición de existencia: Todos los elementos de A están relacionado con elementos de B.
* Condición de unicidad: Cada elemento de A esta relacionado con un único elemento de B.
Dentro de las funciones, se distinguen tres tipos característicos, que cumplen ciertas condiciones. Estos tres tipos de funciones se denominan: Función Inyectiva, Sobreyectiva y Biyectiva.
