反思物业
反射物业国家为每一个实数 X 那 X = X 。
对称性
对称属性指出所有实数 X 和 y 那
如果 X = y , 然后 y = X 。
传递性质
传递属性国家为所有实数 X 那 y 那 和 Z. 那
如果 X = y 和 y = Z. , 然后 X = Z. 。
替代财产
如果 X = y , 然后 X 可以被替换 y 在任何等式或表达中。