反射性的属性
自反性属性指出,对于每个实数 x , x = x 。
对称的财产
对称性质表明,对于所有实数 x 和 y ,
如果 x = y ,然后 y = x 。
传递属性
传递性指出,对于所有实数 x , y , 和 z ,
如果 x = y 和 y = z ,然后 x = z 。
替代属性
如果 x = y ,然后 x 可以由 y 在任何方程或表达式中。