區間序

一個 偏序集 是一個區間序，如果它 同構於 某個 區間 的集合，在 實數線 上按照從左到右的優先順序排列。形式上， 是一個區間序，當且僅當可以為每個 分配一個 區間 ，使得在 實數 中 當且僅當 在 中 。