Les funciones biyectivas constitúin un axugamientu perfectu» ente los elementos del dominiu y el codominio: cada elementu nA tien una única «pareya» en B —como toles funciones—, y a cada elementu de B correspuénde-y unu solu nA —siquier unu por ser suprayectiva, y como muncho unu por ser inyectiva—.