for a, b being Real st a < b holds
<*a,b*> is non empty increasing FinSequence of REAL