Measurable partition

ID: measurable-partition

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.

New to topics? Read the docs here!