半順序？弱順序？二項関係・順序関係まとめ - ぬぬろぐ12/27更新: 図に文言を追加しました。 半対称律?半順序?なにそれおいしいの? Wikipediaを見てもよくわからない 半順序と弱順序を間違えて恥かいた という方のために(?)、二項関係、順序関係についてまとめました。 特に、厳密な定義を意識せずに普段から二項関係を使っているであろうプログラマの方が 少しでも理解・整理しやすいように解説しました。 TL; DR 集合Pに二項関係「」 が定義されているとき、Pの異なる2要素x,y の関係は次の4つのどれか: x<=y が真(true)、かつ y<=x が真(true): 同値な関係 x<=y が真(true)、かつ y<=x が偽(false): y は x より真に大きい x<=y が偽(false)、かつ y<=x が真(true): x は y より真に大きい x<=y が偽(false)、かつ y<=x が偽(false): x
