定義
(X, Φ, μ) を測度空間とする。
X の部分集合 E は μ(A) ＜ +∞ となる任意の A ∈ Φ に対して
E ∩ A ∈ Φ となるとき、μに関して局所可測または単に局所可測と言う。