1. 算术运算符

基本运算符： +, -, *, /, %

数学性质：

• 交换律： 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 * c
• 单位元： 加法单位元为0 (a + 0 = a)，乘法单位元为1 (a * 1 = a)
• 逆元： 加法逆元为负数 (a + (-a) = 0)

特殊性质：

• 除法和取模运算不满足交换律和结合律
• 整数除法会截断小数部分
• 取模运算的符号规则：a % b 的符号与 a 相同

2. 关系运算符

运算符： <, <=, >, >=, ==, !=

数学性质：

• 反自反性： !(a < a) 对所有a成立
• 非对称性： 如果 a < b 为真，则 b < a 为假
• 传递性： 如果 a < b 且 b < c，则 a < c
• 三分律： 对任意两个值a和b，恰好有一个成立：a < b, a == b, a > b

特殊性质：