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