ÉIntuitivamente, é umqualquer conjunto onde, dados dois objetos, sabemos, sem equívoco, qual deles é o maior. Em vez de dar uma definição abstrata de ordenação, vamos começar com alguns exemplos de conjuntos ordenados e explorar pressupostosas básicoscaracterísticas básicas que sãopermitirão necessáriosuma paradefinição aperfeiçoá-los paramais foraformal. Esta abordagem, apesar de não ser tão rigorosa desde o início, deve serfacilitar maisa compreensão do conceito aproximativaabstrato. Nosso primeiro e mais importante passo é definir os números '''números naturais'''.