うわっ、なんかメンドくさw

完了というのは、積の形の記載（×を省く動作）を完了ということだろうね。
×を省く動作がまだ完了してないので、それは積ではない、と。

>>714は、だからこそ～思えんわwの部分がいまいちピンと来ない。
別の人が別の表現をしてくれたら理解出来るかもしれない。

それと、「○○は△△ではない」というソースを求めるのはいかがなものかなぁ、、
a×bは和ではない/差ではない/商ではないというソースがあれば別にいいんだろうけど
そんなの書いてたらキリがないよね