可消弱半环的性质
가소약반배적성질