三省堂 大辞林

こうかん-ほうそく かうくわんはふ― 5 【交換法則】

加法では a＋b＝b＋a 、乗法では a×b＝b×a が成り立つこと。一般に算法 が ab＝ba を満たすとき、算法 では交換法則が成り立つという。