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\bigsqcup \dots \bigsqcup a_n$

mit Atomen $a_j$.

Zum Beweis, Alternativen Beweis erstellen