In einem angeordneten Körper gelten die folgenden Eigenschaften.

1. ${\displaystyle {}1>0}$,
2. Aus ${\displaystyle {}a\geq b}$ und ${\displaystyle {}c\geq 0}$ folgt ${\displaystyle {}ac\geq bc}$,
3. Aus ${\displaystyle {}a\geq b}$ und ${\displaystyle {}c\leq 0}$ folgt ${\displaystyle {}ac\leq bc}$.