对xy定义一种新运算t