等式是指有等号的式子都是，无论这个等式多么荒唐，或者说成立不成立，只要是等号连接的就叫等式。

相等一般是比较两个式子或两个量，两个式子可能形式不同，但最终表达的是一回事，或者一个数值，这叫相等。相等的例子很多，比如|-1|和1是相等的。但形式不同。