>>65
>なので、前スレの二項演算の定義と一致しませんね
「前スレの二項演算の定義」とは何かね？
f:A×B→Cも「形式にこだわらずに二項演算とか積などと呼ぶ」し、「二つの数から新たな数を
決定する規則」には違いないのだがね


で、二項演算として、算数（数学)では「かけ算の答えを積という」と定義されている
ここまで問題ないよな？