Boolescher Verband/Endlich/Eindeutige Darstellung mit Atomen/Fakt/Name

Der Satz über die atomare Darstellung in einem booleschen Verband.