除非A=B,否则A*B不等于B*A,其中A和B均为非空集合