前順序
preorder
半順序から反対称律を取り除いたもの
通常、経済学やゲーム理論では選好は前順序であると仮定する - ゲーム理論〔第3版〕
元a, bが同一である関係a=bと、同様に好まれる関係a〜bは別物であって、前者はgiven、後者は前順序である関係から事後的に導出される
この二つの関係は必ずしも一致しなくて、一致しないことを許すのが前順序、一致することを要求するのが半順序
一致する場合はしばしば同じ記号で表現するので二種類の関係があることを忘れて混同しやすい
https://en.wikipedia.org/wiki/Preorder