Définition : Soit $(X,\mathcal A)$ un espace mesurable et $\mu$ une mesure sur $(X,\mathcal A)$. On dit qu'un élément $x\in X$ est un atome pour $\mu$ si $\mu(\{x\})>0$. On dit que la mesure est diffuse si elle est sans atomes.