Definition: Mengenfunktion

Sei eine Grundmenge.
Sei mit ein nicht-leeres Mengensystem über .

Als (nichtnegative) Mengenfunktion bezeichnen wir die Abbildung:

Merke, die Werte und liegen explizit mit in dem Wertebereich. Es handelt sich also um .

Anmerkung

Namenskonvention

Da wir eigentlich ausschließlich nichtnegative Mengenfunktionen betrachten, lassen wir das Attribut nichtnegativ meistens einfach weg.