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} . Dann heißt μ {\displaystyle {}\mu } endlich, wenn
für alle T ∈ P {\displaystyle {}T\in {\mathcal {P}}} ist.