Boolescher Verband/Endlich/Eindeutige Darstellung mit Atomen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Satz über die atomare Darstellung in einem booleschen Verband

In einem endlichen booleschen Verband

besitzt jedes Element eine eindeutige Darstellung der Form

mit Atomen .