La idea es que se pueda contar haciendo una biyección desde un número natural hasta el conjunto de objetos que se quiere contar.