11.1.1 二元运算及其性质