dos conjuntos x e y están en correspondencia de uno a uno si hay una relación uno a uno, R, por lo cual cada miembro de x se relaciona con exactamente un miembro de y, y cada miembro de y con exactamente un miembro de x.
(Haack, 1978).
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 se representa: f: X → Y, cuando al menos un elemento de X está relacionado con al menos un elemento de Y.
(Wikipedia).