Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Metrischer Raum/Kompakte Teilmengen/Disjunkt/Abstand/Aufgabe/Aufgabereferenznummer