Es sei M {\displaystyle {}M} eine Menge, P {\displaystyle {}{\mathcal {P}}} ein Präring auf M {\displaystyle {}M} ,
ein Prämaß auf M {\displaystyle {}M}