for p, q being ExtReal st p <= q holds
].q,p.[ = {}