可測な文脈において： X, Yなどは可測空間、σ代数は明示しない。 A⊆X は、Aが可測空間の可測集合であることを示す。 X上の測度μに対して、μ(;x)dx という測度微分形式を考える。 M(Y)はY上の有界測度の全体（モナドの台関手）として、α:X→M(Y)は測度値写像 …