for A, B being non empty Interval
for a, b being Real st a in A & b in B & sup A <= inf B holds
a <= b