Corpo ordenado
Origem: Wikipédia, a enciclopédia livre.
Em matemática, um corpo ordenado é um corpo no qual existe uma relação de ordem total, e em que as operações binárias do corpo são compatíveis com essa relação de ordem.
[editar] Definição
é um corpo ordenado se:
é um corpo
é uma relação de ordem total em K
Destes axiomas pode-se deduzir que, se 
, então 
e 
, portanto (pelos axiomas da adição e pela transitividade da relação de ordem) 
.
Então, temos que o subconjunto 
é fechado para as operações de soma e produto.
