Definition: Interval

Let be a set with a total order and a strict total order .

Every pair with defines:

  • an open interval as the set ;
  • a half-open interval as the set ;
  • a half-open interval as the set
  • a closed interval as the set .