theorem Th59: :: MEASURE6:59

for X being Subset of REAL holds
( X is closed iff X = Cl X )