for A, B being non empty Subset of ExtREAL st ( for r, s being ExtReal st r in A & s in B holds
r <= s ) holds
sup A <= inf B