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 .
Last revised on November 10, 2023 at 13:44:51. See the history of this page for a list of all contributions to it.