こうかん-ほうそく カウクワンハフ― [5] 【交換法則】 加法では ＋＝＋ ，乗法では ×＝× が成り立つこと。一般に算法 が ＝ を満たすとき，算法 では交換法則が成り立つという。