theorem Th6: :: CANTOR_1:6

for T being TopSpace holds the topology of T = UniCl the topology of T