for p, q being ExtReal st p < q holds
not ].p,q.[ is empty