The following pages link to The outer-measure is a complete measure on the set of all mu*-measurable sets: