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} und μ ~ {\displaystyle {}{\tilde {\mu }}} die Fortsetzung von μ {\displaystyle {}\mu }