theorem Th74: :: TOPREAL6:81

for P being Subset of (TOP-REAL 2) holds proj1 .: (Cl P) c= Cl (proj1 .: P)