ルベーグ測度
ルベーグ可測な集合全体は完全加法族を為す。そうしてルベーグ可測集合 に対するルベーグ測度 を で定義する。