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

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 ).