#interval  a set containing all points (or all real numbers) between two given endpoints
  supertype:  #set  (mathematics) an abstract collection of numbers or symbols; "the set of prime numbers is infinite"
  subtype:  #closed_interval__bounded_interval__boundedinterval  an interval that includes its endpoints
  subtype:  #open_interval__unbounded_interval__unboundedinterval  an interval that does not include its endpoints
  subtype:  #sub-interval__subinterval  an interval that is included in another interval

No statement uses or specializes #interval; click here to add one.