Una función f de un conjunto A en un conjunto B es una regla de correspondencia que asigna a cada elemento a del conjunto A exactamente un elemento b.