Seja o conjunto dos primeiros números naturais maiores que zero. Considere que zeros à esquerda são omitidos. Seja o conjunto de números cuja representação na base tem o algarismo mais significativo igual a ; e o conjunto de números cuja representação na base tem o algarismo mais significativo igual a . As cardinalidades de e de são, respectivamente:

Cardinalidade de um conjunto finito é o número de elementos distintos desse conjunto.