出典:Wikipedia
出典:『Wikipedia』 (2011/03/20 15:25 UTC 版)
In mathematics, especially order theory, the interval order for a collection of intervals on the real line is the partial order corresponding to their left-to-right precedence relation—one interval, I1, being considered less than another, I2, if I1 is completely to the left of I2. More formally, a poset
is an interval order if and only if there exists a bijection from X to a set of real intervals, so
, such that for any
we have xi < xj in P exactly when
.