什么是定义新运算