Kurs:Analysis (Osnabrück 2021-2023)/Angeordneter Körper/a \geq b positiv/Quotient/Aufgabe/Aufgabereferenznummer