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