Sei ein angeordneter Körper. Dann gilt