theorem :: MEASURE6:60

Cl ({} REAL) = {} by Th59;