Conjunto com a mesma cardinalidade do conjunto dos números naturais.