含有等号的式子叫做等式。等式可分为矛盾等式和条件等式。等式两边同时加上（或减去）同一个整式，或者等式两边同时乘或除以同一个不为0的整式，或是等式左右两边同时乘方，等式仍然成立。形式是把相等的两个数（或字母表示的数）用“=”连接起来。

恒等式（identities），数学概念，恒等式是无论其变量如何取值，等式永远成立的算式。

把相等的式子(至少两个)通过等号连接形成的新式子叫做等式。等式分为含有未知数的等式和不含未知数的等式。