atomic Boolean algebra
Atomic Boolean algebras
Given an element of a Boolean algebra (or other poset) , recall that is an atom 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 October 12, 2015 17:39:55
by John Baez