theorem Th15: :: UNIFORM3:31

for X being set
for D being a_partition of X holds X in UniCl D