The atom of a set A is defined as follows:

A">"empty set /\ !There exists B subset A s.t. A ">" B ">" empty set=> A atomic

Algebra A atomless => it has no atomic sets.


source
jl@crush.caltech.edu index
PA2
PA1