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