Por definição, sabemos que os números naturais são os números inteiros não negativos que se agrupam em um conjunto chamado de N, que é infinito. Porém, ele possui subconjuntos, um deles é o N*, que é formado pelos números naturais