Llamamos función de un conjunto A en un conjunto B a la asignación a cada elemento de A de un único elemento de B.