Definition: Endlichkeit von Mengenfunktionen

Sei eine Grundmenge.
Sei ein Mengensystem über .
Sei eine Mengenfunktion.

Wir bezeichnen als endlich, falls: