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

1. Es ist ${\displaystyle {}M\in {\mathcal {A}}}$.
2. Mit ${\displaystyle {}S,T\in {\mathcal {A}}}$ und ${\displaystyle {}S\subseteq T}$ gehört auch ${\displaystyle {}T\setminus S}$ zu ${\displaystyle {}{\mathcal {A}}}$.
3. Für jede abzählbare Familie ${\displaystyle {}T_{i}\in {\mathcal {A}}}$, ${\displaystyle {}i\in I}$, mit paarweise disjunkten Mengen ${\displaystyle {}T_{i}}$ ist auch

   ${\displaystyle \bigcup _{i\in I}T_{i}\in {\mathcal {A}}.}$