Prämaß/Endlich/Definition

Endliches Prämaß

Es sei eine Menge, ein Präring auf ,

ein Prämaß auf . Dann heißt endlich, wenn

für alle ist.