Una correspondencia biunívoca es simplemente una correspondencia univoca cuya correspondencia inversa también es unívoca. Es decir: cada elemento del primer conjunto se corresponde con solo un elemento del segundo conjunto, y cada elemento del segundo conjunto se corresponde con solo un elemento del primer conjunto.
