Definition: Fortsetzung einer Mengenfunktion

Sei eine Grundmenge.
Sei ein Mengensystem über .
Sei eine Mengenfunktion.
Sei eine weitere Mengenfunktion, mit .

Wir sagen, dass eine Fortsetzung von ist, wenn: