La correspondencia que existe o se establece entre los elementos de dos conjuntos cuando, además de ser unívoca, es recíproca; es decir, cuando a cada elemento del segundo conjunto corresponde, sin ambigüedad, uno del primero.