在数学中，如果且仅当两个事物在各方面完全相同时，它们才是相等的。也就是说，它们具有相同的（数学）价值，以及相同的数学性质。数学家们用等号（=）来表示这一点。这就定义了一个二元关系，平等。"x=y"这句话的意思是x和y是相等的。
更一般意义上的等价是由两个集合之间的等价关系的构建提供的，即两个集合具有完全相同的元素。这两个集合不需要是有限的才是相等的。两个表达式表示相等的量的陈述就是方程。等式是相等的。不等式是不等式。
既然谓词是描述真实的东西的一种方式，那么另一种说法是，如果你能找到一个变量为真，但另一个变量不为真的东西，那么就数学逻辑而言，它们是不平等的。
这里有一个简单的说法：如果两件事情是相等的，那么关于其中一件事情的任何事情都必须是关于另一件事情的。
在几何学中，人们常常喜欢用"全等"这个词。数字是相等的，几何物体是全等的。如果两个形状中的一个可以移动或旋转，使其完全适合另一个的位置，那么这两个形状就是全等的。如果你必须缩小或放大两个物体中的一个，它们就不是全等的。它们被称为相似
在计算机科学中，通常使用数学定义。很多时候，比较写成==（而赋值，即给出一个值，写成=，或:=）。在面向对象的语言，或者有指针的语言中，还有一个额外的问题。这些语言包含了引用（其实就是指针）。如果两个这样的引用不引用完全相同的对象，它们就是不同的。a == b将是假的，在这种情况下。
出于这个原因，许多这类语言引入了另一个操作符（在Java中，这个方法叫做equals）。这个运算符比较的是对象的实际值，而不是引用它们的变量指向哪里。
在社会科学中，如果两个人有许多相同的地方，他们就是平等的。两个受教育程度和金钱相同、年龄相同的人，通常认为对方是平等的。与另一个人平等的人的另一个名称是同龄人。