Teorema 2.1 Sejam a, x elementode de um corpo ordenado K. São equivalentes: −a ≤ x ≤ a x ≤ a e −x ≤ a |x| ≤ a

O Teorema 2.1 estabelece a equivalência entre três afirmações: 1. −a ≤ x ≤ a 2. x ≤ a e −x ≤ a 3. |x| ≤ a Essas três afirmações são equivalentes, o que significa que se uma delas for verdadeira, as outras duas também serão verdadeiras. Isso ocorre porque todas as três expressões estão relacionadas à magnitude de x em relação ao valor de a.