Kurs:Diskrete Mathematik (Osnabrück 2020)/Geordnete Menge/Atome/Einfache Eigenschaften/Fakt/Beweis/Aufgabe/Aufgabereferenznummer