三省堂 大辞林

すいい-りつ 3 【推移律】

〔数〕 a＝b かつ b＝c ならば a＝c という性質。a が b とある関係にあり、b が c とその関係にあるならば、a は c とその関係にあるということ。移動律。

ウィキペディア

推移関係

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2010/06/10 04:03 UTC 版)

(推移律 から転送)

推移関係（すいいかんけい、英: Transitive relation）は、数学における二項関係の一種。集合 X の二項関係 R が推移的であるとは、Xの任意の元 a、b、c について、a と b に R が成り立ち、b と c に R が成り立つとき、a と c にも R が成り立つことをいう。推移的関係とも。

一階述語論理でこれを表すと、次のようになる。