theorem Th42: :: RCOMP_3:42

for a, b, r, s being Real st r <= s holds
for X being Subset of (Closed-Interval-TSpace (r,s)) st X = ].a,b.] & r <= a & b < s holds
Int X = ].a,b.[