如果两个量在某种明确定义的意义上是等价的，则称它们是相等的。量 
和 
的相等性写作 
。等于在 Wolfram 语言中实现为等于[A, B, ...], 或 A==B==....
多个表达式的相等性通常表示为
 |  |  |
(1)
|
 |  |  |
(2)
|
这等价于 
。相等性是传递性的，所以如果 
且 
，那么 
也为真。
一个具有三条水平线段 (
) 类似于等号的符号用于表示定义上的相等（例如，
意思是 
定义为等于 
）和同余（例如，
意思是 13 除以 12 余数为 1——模拟时钟的读者都知道的事实）。
给定一个包含已知常数、有限项积分、极限计算等的表达式，常数问题 询问确定表达式是否等于零（或等价地，等式 
成立，因为这等价于 
）。总的来说，这是一个非常困难（且未解决）的问题。
Wolfram 语言无法“开箱即用”建立的等式包括
(1+Sqrt[5])/2 == GoldenRatio (1+E)^2 == 1+2E+E^2
