Sean dos conjuntos $A$ y $B$ se llama correspondencia a un conjunto de asociaciones entre $A$ y $B$.
En la imagen se puede ver la representación de dos conjuntos entre los que se hace una correspondencia, que como se puede ver no se necesita que cumpla nada, ni siquiera se están definidos los espacios de salida y llegada, se pueden invertir.
