theorem :: UNIFORM3:34

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