等式是含有等号的式子，等式可分为矛盾等式和条件等式。等式两边同时加上（或减去）同一个
整式，或者等式两边同时乘或除以同一个不为0的整式，或是等式左右两边同时乘方，等式仍然成立。形式是把相等的两个数（或字母表示的数）用“=”连接起来。
数学上，
恒等式是无论其变量在给定的取值范围内取何值，等式永远成立的算式。恒等式有多个变量的，也有一个变量的，若恒等式两边就一个变量，恒等式就是两个解析式之间的一种关系。给定两个解析式，如果对于它们的
定义域的公共部分（或公共部分的子集）的任一数或数组，都有相等的值，就称这两个解析式是恒等的。
