theorem Th11: :: MEASUR12:11

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