>>333
Eはγ-可測　⇔　γ(B)=γ(B∩E)+γ(B∩E^c)
⇔　γ(B)=γ(B∩E)+γ(B-(E∩B))
⇔　γ(B)-γ(B-(E∩B))=γ(B∩E)
⇔　γ^{B}_{*}(E∩B)=γ(E∩B)