Ein Teilmengensystem ${\displaystyle {}{\mathcal {A}}}$ auf einer Menge ${\displaystyle {}M}$ heißt Mengen-Algebra, wenn folgende Bedingungen erfüllt sind.

1. Es ist ${\displaystyle {}M\in {\mathcal {A}}}$.
2. Mit ${\displaystyle {}T\in {\mathcal {A}}}$ gehört auch das Komplement ${\displaystyle {}M\setminus T}$ zu ${\displaystyle {}{\mathcal {A}}}$.
3. Für je zwei Mengen ${\displaystyle {}S,T\in {\mathcal {A}}}$ ist auch ${\displaystyle {}S\cup T\in {\mathcal {A}}}$.