Interval order (source code)

= Interval order
{wiki=Interval_order}