区间序

一个 偏序集 是一个区间序，如果它 同构于 某个 区间 的集合，在 实数线 上按照从左到右的优先顺序排列。形式上， 是一个区间序，当且仅当可以为每个 分配一个 区间 ，使得在 实数 中 当且仅当 在 中 。