theorem :: MEMBER_1:61

for f, g being ExtReal holds {f} -- {g} = {(f - g)}