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.