对于实数集上的普通加法运算,不具有那个性质