(Complete measure space) The measure space
is "complete" if
contains all subsets of sets of measure zero.
(Saturated measure space) The measure
is "saturated" if every locally measurable set is measurable.
measure via addition of null sets) For a measure space
there is a complete measure space
The rule 3 defines a
extends to such