推移関係

推移関係（すいいかんけい、）は、数学における二項関係の一種。集合 "X" の二項関係 "R" が推移的であるとは、"X"の任意の元 "a"、"b"、"c" について、"a" と "b" に "R" が成り立ち、"b" と "c" に "R" が成り立つとき、"a" と "c" にも "R" が成り立つことをいう。推移的関係とも。
一階述語論理でこれを表すと、次のようになる。
推移関係の数え上げ.
他の関係とは異なり、ある有限集合における推移関係の数を数える一般的方法は存在しない（N個のノードにおける推移関係数の数列）。しかし、同時に反射的で対称的な関係の数を数える方法は定式化されている（N個の番号付きボールをN個の区別の無い箱に入れる組み合わせ）。また、対称的で推移的な場合、対称的な場合、非推移的な場合、完全かつ推移的で非対称的な場合についても定式化されている。Pfeiffer による研究があり、これらの属性の組み合わせの関係数を定式化した。しかし、個々の属性の関係を数えることはまだ困難とされている。
例.
例えば「AはBより大きい」「AはB以上である」「AはBと等しい」といった関係は推移関係である。例えば、"a" = "b" でかつ "b" = "c" であれば、"a" = "c" が成り立つ。
一方、「AはBの母である」は推移関係ではない。アリスがブレンダの母で、ブレンダがクレアの母だった場合、アリスがクレアの母であるとは言えない。
推移関係の例として以下のものがある。
「AとBは等しくない」は非推移関係の例である（集合に少なくとも2つ以上の元がある場合）。
推移性の属性.
推移関係のもとでは以下の関係は同値である。