la_4）."
等于的一些基本性质.
替代性.对任意量formula_47和formula_48和任意表达式formula_49，若formula_50，则formula_51（设等式两边都有意义）。在一阶逻辑中，不能量化像formula_52这样的表达式（它可能是个函数谓词）。一些例子：
自反性.对任意量formula_47，formula_75。这个性质通常在数学证明中作为中间步骤。
对称性.例子