前順序
preorder
集合
$ S
とその上の
二項関係
$ R
に対して、
反射律
と
推移律
を満たす
$ R
を前順序という
具体例
集合の元同士の
$ \le
の関係のこと