Á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:
# Tricotomia
#:<math>\forall m,n\in\mathbb{N}</math> uma e só uma das seguintes afirmações é válida
|