推移律
すいい りつ 3 【推移律 】〘数 〙 a = b かつ b = c ならば a = c という性質 。 a が b とある関係にあり , b が c とその関係にあるならば , a は c とその関係にあるということ 。移動律 。