Körpertheorie/Angeordneter Körper/Definition

Angeordneter Körper

Ein Körper $K$ heißt angeordnet, wenn es eine totale Ordnung $\ge$ auf $K$ gibt, die die beiden Eigenschaften

1. Aus  $a\ge b$  folgt  $a+c\ge b+c$  (für beliebige $a,b,c\in K$),
2. Aus  $a\ge 0$  und  $b\ge 0$  folgt  $ab\ge 0$  (für beliebige $a,b\in K$),

erfüllt.