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

[edição não verificada][edição não verificada]
Conteúdo apagado Conteúdo adicionado
Linha 16:
==== Ordenação numa relação de equivalência ====
Associada a esta relação de equivalência esta uma ordenação destes axiomas adicionais verificar se são satisfeitas:
# Bem Ordenado
#:<math>\forall n,m\in\mathbb{N},\ n<n+m</math>
# Monotonicidade
#:<math>\forall n,m,l\in\mathbb{N},\ (n<m)\Rightarrow n+l<m+l </math>
# Tricotomia
#:<math>\forall m,n\in\mathbb{N}</math> uma e só uma das seguintes afirmações é válida