theorem Th5: :: MEASUR12:5

for A, B being non empty set
for p, q, r, s being R_eal st A = [.p,q.] & B = [.r,s.[ & A misses B & not q < r holds
s <= p