在数学的领域中，若两个数学对象在各个方面都相同，则称他们是相等的。这就定义了一个二元谓词等于，写作“ 上唯一满足所有这些性质的关系。去掉对反对称性的要求，就是等价关系。相应的，给定任意等价关系相等，则它们具有相同的性质。可以通过简单的假设来定义莱布尼茨律的另一个方向：
则若具有相同的性质，则特定的它们关于谓词
对任意量传递性。
尽管对称性和传递性通常看上去是基本性质，但它们能够通过替代性和自反性证明得到。
“等于”符号或 “ 中采用了这一符号。原因是符号中的两条线一样长，表明其连接的两个量也相等。这一发明在威尔士的St Mary教堂有记录。
约等于的符号是或≒，不等于的符号是。
或≒，不等于的符号是
。