Cuando es posible establecer tal relación "uno a uno" entre dos conjuntos se dice que ambos conjuntos tienen "la misma cardinalidad", lo cual, para conjuntos finitos, equivale a que tengan el mismo número de elementos.