【順序集合】反射性/非反射性と対称性/非対称性と推移性/非推移性の関係定義 - Qiita
反射関係 -Wikipedia 推移的で無反射的な関係は、非対称関係で強半順序関係となる。一方、推移的で反射的な関係は(半順序関係や同値関係といった特殊例も含め)単なる前順序(擬順序)関係となる。有限集合では前者よりも後者の方が多い。 非対称関係(Asymmetric ...