Measurable partition (source code)

= Measurable partition
{title2=$\xi$}

A countable measurable partition is a countable family of pairwise disjoint measurable sets whose union has full measure. Its members are its atoms; null atoms can be discarded in statements made <almost everywhere>.