すいい‐りつ【推移律】 集合の要素ａ、ｂ、ｃに対して、ある関係〜が定められていて、a〜bかつb〜cならばa〜cであるという法則。移動律。