theorem Th28: :: XXREAL_1:28

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