atomic Boolean algebra
Atomic Boolean algebras
Given an element of a Boolean algebra (or other poset) , recall that is atomic in if is minimal among non-trivial (non-bottom) elements of . That is, given any such that , either or .
A Boolean algebra is atomic if we have for every , where is some set of atoms in .
Revised on March 7, 2012 02:13:32
by Toby Bartels