for x, y being Element of REAL+ holds
( x <=' y or x -' y <> {} )