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.