Diremos que hay una correspondencia biunívoca ( o uno a uno) entre los conjuntos A y B si y sólo si cada elemento del conjunto A está relacionado con uno y sólo un elemento del conjunto B.