>>1
> -×-＝+は定理なのだろうか定義なのだろうか

(-1)x(-1) ＝ 1 が 『 可換環の公理系 』 から導かれますので 『 定理 』 です。