Es el intercambio que hay entre dos conjuntos.
Ejemplos:
A cada estudiante le corresponde un promedio de calificaciones.
En una tienda a cada producto le corresponde un precio.
Cada conjunto de pares ordenados en el que en el primer componente pertenece al conjunto A y el segundo componente le pertenece al B es una relación de A y B.
Al conjunto A se le llama "dominio" y el conjunto B "codominio". D sea, que los elementos del conjunto A son los que deben relacionase con el conjunto B teniendo en cuenta que algunos elementos del codominio serán segundos componente.