a measure which has no atoms is called non-atomic or diffuse. in other words, a measure is non-atomic if for any measurable set formula_11 with formula_12 there exists a measurable subset "b" of "a" such that