for x being Element of REAL+ st x <> {} holds
[{},x] in REAL