Atom of a sigma-algebra
= Atom of a sigma-algebra
{wiki=Atom_(measure_theory)}
An atom of a sigma-algebra is a nonempty measurable set containing no proper nonempty measurable subset. A finite sigma-algebra partitions its underlying set into atoms, and each measurable set is a union of them.