Інтервальний порядок
У математиці, особливо у теорії порядку, інтервальний порядок для набору інтервалів на дійсній прямій є частковим порядком, що відповідає розташуванню інтервалів на прямій.
Більш формально, частково впорядкована множина є інтервальним порядком тоді і тільки тоді, коли існує бієкція з до деякої множини дійсних інтервалів: , така що:
Інтервальний порядок, визначений одиничними інтервалами, є напівпорядком.
Граф-доповнення графу порівнюваності інтервального порядку є інтервальним графом
Джерела
- Fishburn, Peter (1985). Interval Orders and Interval Graphs: A Study of Partially Ordered Sets. John Wiley.