Álgebra abstrata/Números naturais: diferenças entre revisões

== Conjunto ordenado ==

É um 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 pressupostos básicos que são necessários para aperfeiçoá-los para fora. Esta abordagem, apesar de não ser tão rigorosa deve ser mais aproximativa. Nosso primeiro e mais importante passo é definir os números ''naturais''.