Ein kommutativer Körper heißt angeordneter Körper, falls in eine Menge der positiven Elemente (Schreibweise: steht für ” ist postitiv”) ausgezeichnet ist, die folgende Eigenschaften besitzt: Für jedes gilt genau eine der drei Bedingungen: Aus und folgen sowie .