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