De dos conjuntos entre los que se puede establecer una biyección se dice que tienen la misma cardinalidad.