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