模板:二元运算的性质