for A being Subset of REAL? st A = {REAL} holds
A is closed