theorem :: UNIFORM3:33

for X being set
for D being a_partition of X holds UniCl D is Ring_of_sets