推移関係
推移関係（すいいかんけい、）は、数学における二項関係の一種。集合 "X" の二項関係 "R" が推移的であるとは、"X"の任意の元 "a"、"b"、"c" について、"a" と "b" に "R" が成り立ち、"b" と "c" に "R" が成り立つとき、"a" と "c" にも "R" が成り立つことをいう。推移的関係とも。
一階述語論理でこれを表すと、次のようになる。