Regla que asigna a cada elemento de un primer conjunto un único elemento de un segundo conjunto. (Wikipedia)
Regla que asigna a cada uno de ciertos números reales, un número real. (Spivak)
Colección de pares de números con la siguiente propiedad: si (a, b) y (a, c) pertenecen ambos a la colección, entonces b=c; en otras palabras, la colección no debe contener dos pares distitntos con el mismo primer elemento. (Spivak)
Relación entre un conjunto dado X (dominio) y otro conjunto de elementos, Y (codominio) de forma que a cada elemento del dominio le corresponde un único elemento del codominio. (Wikipedia).