Mengenpräring/Definition

Mengen-Präring

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

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