theorem Th5: :: CANTOR_1:5

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