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