Closed-Interval-TSpace (0,1) = I[01]