Definition:Atom


 * Atom in the context of logic
 * Atom in the context of $\sigma$-algebras