推移関係 - Wikipedia

推移関係（すいいかんけい、英: Transitive relation）は、数学における二項関係の一種。集合 X の二項関係 R が推移的であるとは、Xの任意の元 a、b、c について、a と b に R が成り立ち、b と c に R が成り立つとき、a と c にも R が成り立つことをいう。推移的関係とも。 一階述語論理でこれを表すと、次のようになる。 推移関係の数え上げ[編集] 他の関係とは異なり、ある有限集合における推移関係の数を数える一般的方法は存在しない（N個のノードにおける推移関係数の数列）[1]。しかし、同時に反射的で対称的な関係の数を数える方法は定式化されている（N個の番号付きボールをN個の区別の無い箱に入れる組み合わせ）。また、対称的で推移的な場合、対称的な場合、非推移的な場合、完全かつ推移的で非対称的な場合についても定式化されている。Pfeiffer による研究があ

[n-e]

"推移関係（すいいかんけい、英: Transitive relation）"