Körpertheorie/Angeordneter Körper/Definition

Angeordneter Körper

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

  1. Aus folgt (für beliebige ),
  2. Aus und folgt (für beliebige ),

erfüllt.