Definição 2.1 Um corpo ordenado diz-se completo quando todo subconjunto não vazio limitado superiormente possui supremo.

Essa é a definição de corpo ordenado completo. Um corpo ordenado é considerado completo quando todo subconjunto não vazio que possui um limite superior também possui um supremo, ou seja, um menor limite superior. Isso significa que, em um corpo ordenado completo, não há subconjuntos limitados superiormente que não possuam um supremo.