-1 * 1 = -1
-1 * -1 = 1

と定義するんだったら、

-1 + 1 = -2
-1 + -1 = 1
-1 - 1 = 1
-1 - -1 = -2

と定義すべきじゃないだろうか。