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[1]​ entre X e Y, que representaremos: f : X → Y {\displaystyle f\colon X\rightarrow Y} cuando al menos un elemento de X está relacionado con al menos un elemento de Y. Wikipedia