for x being Element of REAL+ st x in omega holds
for y being Element of REAL+ holds
( y in x iff ( y in omega & y <> x & y <=' x ) )