theorem Th76: :: TOPREAL6:83

for P being Subset of (TOP-REAL 2) st P is bounded holds
Cl (proj1 .: P) = proj1 .: (Cl P) by Th73, Th74;