Definición

Una función puede considerarse como un caso particular de una relación o de correspondencia
matemática. Cada relación o correspondencia de un elemento.

con un (y sólo un)

se denota

en lugar de



Se piden que se cumplan dos condiciones, que son las siguientes:

1. Condición de existencia: Todos los elementos de X están relacionados con elementos de Y, es decir,
   

2. Condición de unicidad: Cada elemento de X está relacionado con un único elemento de Y, es decir, si