すいい‐りつ【推移律】 〔数〕ある集合の2元に対して定義された関係〜について、a〜b,b〜cならばa〜cであるという法則。反射律・対称律とともに同値の概念を規定する。移動律。 ⇒すい‐い【推移】

すいい-りつ [3] 【推移律】 〔数〕 ＝ かつ ＝ ならば ＝ という性質。 が とある関係にあり， が とその関係にあるならば， は とその関係にあるということ。移動律。