RELACIÓN DE CORRESPONDENCIA

Dados dos conjuntos: X e Y, y una función f, que determina alguna relación binaria entre algún elemento de X con algún elemento de Y, diremos que esa función: f, define una correspondencia¹ entre X e Y, que representaremos:

${\displaystyle f\colon X\rightarrow Y}$

cuando al menos un elemento de X está relacionado con al menos un elemento de Y.