for X being Subset of REAL st X is open & X is real-bounded & ( for g1, g2 being Real st g1 in X & g2 in X holds
[.g1,g2.] c= X ) holds
ex p, g being Real st X = ].p,g.[