Kurs:Diskrete Mathematik (Osnabrück 2020)/Boolescher Verband/Endlich/Einbettung/Fakt/Faktreferenznummer