theorem :: UNIFORM3:35

for X being set
for D being a_partition of X holds UniCl D is SigmaField of X ;