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