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