(a b) c=a b c这是什么定义