for A being Interval
for x being Real holds x ++ A is Interval