Es sei S {\displaystyle {}{\mathcal {S}}} ein Mengensystem auf einer Menge M {\displaystyle {}M} . Eine Funktion