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

In einem endlichen booleschen Verband besitzt jedes Element ${}x\in B$ eine eindeutige Darstellung der Form

${}x=a_{1}\sqcup \ldots \sqcup a_{n}\,$

mit Atomen ${}a_{j}$.