基本运算符: +, -, *, /, %
数学性质:
a + b = b + a, a * b = b * a(a + b) + c = a + (b + c), (a * b) * c = a * (b * c)a * (b + c) = a * b + a * ca + 0 = a),乘法单位元为1 (a * 1 = a)a + (-a) = 0)特殊性质:
a % b 的符号与 a 相同运算符: <, <=, >, >=, ==, !=
数学性质:
!(a < a) 对所有a成立a < b 为真,则 b < a 为假a < b 且 b < c,则 a < ca < b, a == b, a > b特殊性质: