Lemma 9.21
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 9 Boolescher Verband/Endlich/Eindeutige Darstellung mit Atomen/Fakt