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