Lemma 2.4
Für jede messbare Funktion

und für jede
messbare Abbildung

ist der Schätzer

für

vollständig, falls

diese Eigenschaft
besitzt.
Lemma 2.5
Seien

und

zwei

-endliche Maße über

, die entweder beide diskret oder beide
absolutstetig sind. Falls die Integrale
 |
(47) |
existieren (und endlich sind) und falls

für jedes

, dann gilt

.