50，则formula_51（设等式两边都有意义）。在一阶逻辑中，不能量化像formula_52这样的表达式（它可能是个函数谓词）。一些例子：
自反性.对任意量formula_47，formula_75。这个性质通常在数学证明中作为中间步骤。
对称性.例子：如果formula_76，那么formula_77
传递性.例子：如果formula_76，formula_79，那么formula_80实数或其他对象上的二元关系