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