Boolescher Verband/Endlich/Eindeutige Darstellung mit Atomen/Fakt

Satz über die atomare Darstellung in einem booleschen Verband

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}$.

Zum Beweis, Alternativen Beweis erstellen