for x being Element of REAL+ holds x - x = {}