Definition:Interval Topology