theorem :: TOPREALA:24

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