非零实数集上二元运算为什么非零实数集上的加减法不是二元运算?