for r, s being Real st r <= s holds
Closed-Interval-TSpace (r,s) is locally_connected