Special:EditPage/Sigma-additive set function