模板:二元運算的性質