Ein Körper auf dem die Relation definiert ist, wird als angeordneter Körper bezeichnet. Die unter sub:Standdardmengen aufgeführten Mengen sind angeordnete Körper.