如果兩個量在某種明確定義的意義上是等價的，則稱它們是相等的。量 
和 
的相等性寫作 
。等於在 Wolfram 語言中實現為等於[A, B, ...], 或 A==B==....
多個表示式的相等性通常表示為
 |  |  |
(1)
|
 |  |  |
(2)
|
這等價於 
。相等性是傳遞性的，所以如果 
且 
，那麼 
也為真。
一個具有三條水平線段 (
) 類似於等號的符號用於表示定義上的相等（例如，
意思是 
定義為等於 
）和同餘（例如，
意思是 13 除以 12 餘數為 1——模擬時鐘的讀者都知道的事實）。
給定一個包含已知常數、有限項積分、極限計算等的表示式，常數問題 詢問確定表示式是否等於零（或等價地，等式 
成立，因為這等價於 
）。總的來說，這是一個非常困難（且未解決）的問題。
Wolfram 語言無法“開箱即用”建立的等式包括
(1+Sqrt[5])/2 == GoldenRatio (1+E)^2 == 1+2E+E^2
