theorem :: UNIFORM3:40

for X being non empty set
for D being a_partition of X holds capOpCl (partition_topology D) = UniCl D