Definition:Measurable Set of Arbitrary Outer Measure