Las funciones biyectivas constituyen un «emparejamiento perfecto» entre los elementos del dominio y el codominio: cada elemento en "A" tiene una única «pareja» en "B" —como todas las funciones—, y a cada elemento de "B" le corresponde uno solo en "A" —al menos uno por ser suprayectiva, y como mucho uno por ser inyectiva—.