Es una operación, que resulta en otro conjunto, cuyos elementos son todos los pares ordenados que pueden formarse de manera donde el primer elemento del par ordenado pertenezca al primer conjunto y el segundo elemento pertenezca al segundo conjunto.
Es la correspondencia de un primer conjunto, llamado Dominio , con un segundo conjunto, llamado Recorrido o Rango , de manera que a cada elemento del Dominio le corresponde uno o más elementos del Recorrido o Rango.
Es una relación a la cual se añade la condición de que a cada valor del Dominio le corresponde uno y sólo un valor del Recorrido.