for A being non empty Interval
for x being Real holds x ** A is Interval