相等 在數學的領域中若兩個数学对象在各个方面都相同则称他们是相等的这就定义了一个二元谓词等于写作  displaystyle   x  y displaystyle xy 当且仅当 x displaystyle x 和 y displaystyle y 相等通常意义上等于是通过两个元素间的等价关系来构造的将两个表达式用等于符号连起来就构成了等式例如      displaystyle  即    displaystyle  與  displaystyle  是相等的 注意有些时候 A  B displaystyle AB 并不表示等式例如 T  n   O  n   displaystyle TnOn 表示在数量级 n  displaystyle n 上渐进因為这裡的符号  displaystyle  不滿足若且唯若的定義所以它不等於等于符号实际上 O  n    T  n  displaystyle OnTn 是没有意义的请参见大O符号了解这部分内容 集合 A displaystyle A 上的等于关系是种二元关系满足自反性对称性反对称性和传递性 实际上这是 A displaystyle A 上唯一满足所有这些性质的关系 去掉对反对称性的要求就是等价关系 相应的给定任意等价关系 R displaystyle R 可以构造商集 A  R displaystyle AR 并且这个等价关系将下降为 A  R displaystyle AR 上的等于 在任何条件下都成立的等式称为恒等式包含未知数的等式称为方程式