(Outer measure) Let be a mapping defined on all subsets of and valued in . The is called "outer measure" if the following conditions are satisfied:
1.
2. .
3. .
(Measurable set) A set is called " -measurable" if for any set we have
-measurable sets constitute a -algebra. The restriction of to such -algebra is a complete measure.