Template:二元運算的性質