含有等号的式子叫做等式。等式可分为矛盾等式和条件等式。等式两边同时加上（或减去）同一个整式，或者等式两边同时乘或除以同一个不为0的整式，或是等式左右两边同时乘方，等式仍然成立。
等式具有传递性。等式的性质是解方程的基础，很多解方程的方法都要运用到等式的性质。如移项，运用了等式的性质1；去分母，运用了等式的性质2。运用等式的性质，涉及除法时，要注意转换后，除数不能为0，否则无意义。
恒等式是无论其变量如何取值，等式永远成立的算式。恒等式成立的范围是左右函数定义域的公共部分，两个独立的函数却各自有定义域，与x在非负实数集内是恒等的，而在实数集内是不恒等的。