Boolescher Verband/Endlich/Eindeutige Darstellung mit Atomen/Fakt/Beweis/Aufgabe