Una aplicación biyectiva hace corresponder los elementos del conjunto inicial con los del conjunto final uno a uno, pudiéndose decir que hay el mismo número de elementos en el conjunto inicial que en el final.