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).