数学证明中作为中间步骤。
对称性.例子：如果formula_76，那么formula_77
传递性.例子：如果formula_76，formula_79，那么formula_80实数或其他对象上的二元关系“约等于”，即使进行精确定义，也不具有传递性（即使看上去有，但许多小的差能够叠加成非常大）。然而，在绝大多数情况下，等于"具有"传递性。尽管对称性和传递性通常看上去是基本性质，但它们能够通过替代性和自反性证明得到。
符号的历