\begin{definition}[Definition:Atom of Measure]
Let $\struct {X, \Sigma, \mu}$ be a measure space.
An element $x \in X$ is said to be an '''atom (of $\mu$)''' {{iff}}:
:$(1): \quad \set x \in \Sigma$
:$(2): \quad \map \mu {\set x} > 0$
\end{definition}