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:
cuando al menos un elemento de
X está relacionado con al menos un elemento de
Y.