theorem Th77: :: TOPREAL6:84

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