推移関係

他の関係とは異なり、ある有限集合における推移関係の数を数える一般的方法は存在しない（N個のノードにおける推移関係数の数列）^[1]。しかし、同時に反射的で対称的な関係の数を数える方法は定式化されている（N個の番号付きボールをN個の区別の無い箱に入れる組み合わせ）。また、対称的で推移的な場合、対称的な場合、非推移的な場合、完全かつ推移的で非対称的な場合についても定式化されている。Pfeiffer による研究があり、これらの属性の組み合わせの関係数を定式化した^[2]。しかし、個々の属性の関係を数えることはまだ困難とされている。

例えば、${\displaystyle x=y}$ でかつ ${\displaystyle y=z}$ であれば、${\displaystyle x=z}$ である。以下は推移関係である。

• ${\displaystyle x=y}$（${\displaystyle x}$ と ${\displaystyle y}$ は等しい）
• ${\displaystyle x<y}$（${\displaystyle x}$ は ${\displaystyle y}$ より小さい）
• ${\displaystyle x\leq y}$（${\displaystyle x}$ は ${\displaystyle y}$ 以下である）
• ${\displaystyle x}$ は ${\displaystyle y}$ で割り切れる
• ${\displaystyle S\subset T}$（${\displaystyle S}$ は ${\displaystyle T}$ の部分集合である）
• ${\displaystyle p\rightarrow q}$（${\displaystyle p}$ ならば ${\displaystyle q}$ である）
• A は B の祖先である

一方、以下は推移関係でない。

• ${\displaystyle x\neq y}$（${\displaystyle x}$ と ${\displaystyle y}$ は等しくない）
• A は B の母である

推移関係のもとでは以下の関係は同値である。

• 非反射関係（irreflexivity）
• 非対称関係（asymmetry）
• 強半順序関係（strict partial order）

• 半順序 - 反対称的な擬順序
• 擬順序 - 推移的であると同時に反射的
• 全擬順序 - 完全的な擬順序
• 同値関係 - 対称的な擬順序
• 厳密弱順序 - 強半順序関係で等価関係での比較が不可能な場合
• 全順序 - 推移的で反対称的な完全関係