数学上，两个数学对象是相等的，若他们在各个方面都相同。这就定义了一个二元谓词等于，写作“=”；x = y 当且仅当x 和y 相等。通常意义上，等于是通过两个元素间的等价关系来构造的。将两个表达式用等于符号连起来，就构成了等式。

注意，有些时候“A = B”并不表示等式。例如，T(n)= O(n)表示在数量级 n上渐进。因为这里的符号“=”不满足若且唯若的定义，所以它不等于等于符号；实际上，O(n) = T(n)是没有意义的。请参见大O符号了解这部分内容。

集合A 上的等于关系是种二元关系，满足自反性，对称性，反对称性和传递性。 实际上，这是A 上唯一满足所有这些性质的关系。 去掉对反对称性的要求，就是等价关系。 相应的，给定任意等价关系R，可以构造商集A/R，并且这个等价关系将‘下降为’A/R 上的等于。

In mathematics, equality is a relationship between two quantities or, more generally two mathematical expressions, asserting that the quantities have the same value, or that the expressions represent the same mathematical object. The equality between A and B is written A = B, and pronounced A equals B. The symbol "=" is called an "equals sign". Thus there are three kinds of equality, which are formalized in different ways.