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.