ディンキン族
集合 X 上のディンキン族とは、X の部分集合の族 D {\displaystyle {\mathcal {D}}} であって、以下の条件を満たすものをいう:
X は D {\displaystyle {\mathcal {D}}} の元である。
A1, A2, ... が単調増大な D {\displaystyle {\mathcal {D}}} の元の列ならば、それらの和集合 ⋃ n = 1 ∞ A n {\displaystyle \bigcup _{n=1}^{\infty }A_{n}} も D {\displaystyle {\mathcal {D}}} の元である。
A, B が D {\displaystyle {\mathcal {D}}} の元で A ⊃ B が成立するならば、それらの差集合 A ∖ B {\displaystyle A\setminus B} も D {\displaystyle {\mathcal {D}}} の元である。