Una relación de correspondencia es una regla que relaciona los elementos de un conjunto A (conjunto de entrada) con los elementos de un conjunto B (conjunto de salida). Una correspondencia entre los elementos de los dos conjuntos (A y B) puede darse de varias formas, como por ejemplo: