定义运算a的运算法则为xay等于