分类:二元运算的性质