A characterization of Boolean algebras. (Q2590442)

Ein vollständiger Verband \(L\) heißt atomistisch, wenn zu jedem Element \(a\in L\) Nachbarn \(p\), \(q\) des Null- bzw. Einselementes mit \(p\leqq a \leqq q\) existieren. Es wird bewiesen, daß ein vollständiger atomistischer Verband dann und nur dann eine Boolesche Algebra ist, wenn jedes Element genau ein komplementäres Element besitzt.