theorem :: UNIFORM3:36

for Omega being non empty set
for D being a_partition of Omega holds UniCl D is Dynkin_System of Omega