Let be a -finite measure on a -algebra of subsets of and a countably additive set function on .
Hayaan maging-takda ng isang panukalang-batas sa isang-algebra ng mga subset ng at ng isang countably additive set function sa.