Fonte: [Grupos Google](https://groups.google.com/g/reamat/c/xGhsyL0VAPQ) De: Ref. a URL: https://www.ufrgs.br/reamat/PreCalculo/livro/cn-conjunto_dos_nx00fameros_reais.html Mensagem: Proposição 2.5.1, 5ª Propriedades da relação de ordem.