在定义新运算中,哪些运算性质或定律成立?哪些不成立?为什么?