Es una regla que describe la forma en que una cantidad depende de otra. La regla asigna a todos y a cada uno de los elementos del conjunto A uno y solo un elemento de B.