Körpertheorie/Angeordneter Körper/Ausführlich/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Angeordneter Körper

Ein Körper heißt angeordneter Körper, wenn es zwischen den Elementen von eine Beziehung („größer als“) gibt, die die folgenden Eigenschaften erfüllt ( bedeutet oder ).

  1. Für je zwei Elemente gilt entweder oder oder .
  2. Aus und folgt (für beliebige ).
  3. Aus folgt (für beliebige ).
  4. Aus und folgt (für beliebige ).