theorem :: MEASURE6:45

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