数学英语高手进来帮我看一下.

Reflexive property:
同余具有反身性
Symmetric property：
同余具有对称性
Transitive property：
同余具有传递性
Addition property：
加法性质
Multiplication property：
乘法性质
Closure properties：
封闭性质
Commutative properties:
交换律
Associative properties
结合律
Identity properties：
恒等性质
Inverse properties：
逆属性
Distributive property：
分配律

自反性？
对称性？
传递性？
合成性？
自己查下吧