for X being set st X is real-membered holds
X c= REAL