在数学的领域中，若两个数学对象在各个方面都相同，则称他们是相等的。这就定义了一个二元谓词等于，写作“formula_1”；formula_2当且仅当formula_3和formula_4相等。通常意义上，等于是通过两个元素间的等价关系来构造的。将两个表达式用等于符号连起来，就构成了等式，例如formula_5，即formula_6与formula_7是相等的。注意，有些时候“formula_8”并不表示等式。例如，formula_9表示在数量级formula_10上渐进。因为这里的符号“formula_