Kurs:Diskrete Mathematik/Geordnete Menge/Atome/Einfache Eigenschaften/Fakt/Faktreferenznummer

Lemma 9.20 (Diskrete Mathematik (Osnabrück 2020))