>>166
実数体Rにおいて定義される乗法の交換則だ。