Mengenpräring/Definition

Mengen-Präring

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

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