順序集合
ordered set
集合の要素に対して、順序(その前、その次)が定義された集合
順序関数として
$ \lt
または
$ \le
が定義される。
整列集合