Función matemática

Función de X en Y: la condición de existencia asegura que de cada elemento sale alguna flecha y la de unicidad que sólo sale una.

En Matemáticas, dados dos conjuntos X e Y, una función o aplicación de X en Y es una correspondencia matemática denotada

$f \colon X \to Y \,$

que cumple con las siguientes dos condiciones:

Condición de existencia: Todos los elementos de X están relacionado con elementos de Y, es decir, $\forall x\in X,\ \exists y\in Y\ \backslash \ (x,y)\in f.$
Condición de unicidad: Cada elemento de X esta relacionado con un único elemento de Y, es decir, si $(x,y_1)\in f \and (x,y_2)\in f \Rightarrow y_1 = y_2.$