theorem Th7: :: CANTOR_1:7

for T being non empty TopSpace holds the topology of T = UniCl (FinMeetCl the topology of T)