Interval Order
A partially ordered set P = (X, <=) is an interval order if it is isomorphic to some set of intervals on the real line ordered by left-to-right precedence. Formally, P is an interval order provided that one can assign to each x element X an interval [x_L, x_R] such that x_R