>>330
＞>最初に二項演算「+」と「・(×)」は独立に定義され
＞分配法則を満たし、かつ、除法が逆元の「・(×)」と定義される以上「独立に定義される」「何の関連性もない」とは言えない。
分配則や逆元を考えるのは二項演算「+」、「・(×)」が両方定義された後の話だ。
「2(1+2)」も「2」と「1+2」の積だ。