(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.