theorem Th20: :: TOPMETR:20

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