Zu einer Menge M {\displaystyle {}M} heißt eine Teilmenge A ⊆ P ( M ) {\displaystyle {}{\mathcal {A}}\subseteq {\mathfrak {P}}\,(M)} der Potenzmenge ein (Teil)-Mengensystem auf M {\displaystyle {}M} .
