左右两边相等的式子叫做等式，含有未知数的等式叫方程。
一、等式的性质。
1、等式两边同时加上（或减去）同一个整式，等式仍然成立。若a=b那么a+c=b+c。
2、等式两边同时乘或除以同一个不为0的整式，等式仍然成立。若a=b那么有a·c=b·c或a÷c=b÷c（c≠0）。
3、等式具有传递性。若a1=a2，a2=a3，a3=a4，······an-1=an，那么a1=a2=a3=a4=······=an。
4、等式两边同时被一个数或式子减，结果仍相等。如果a=b，那么c-a=c-b。
5、等式两边取相反数，结果仍相等。如果a=b，那么-a=-b。
6、等式两边不等于0时，被同一个数或式子除，结果仍相等。如果a=b≠0，那么c/a=c/b。
7、等式两边不等于0时，两边取倒数，结果仍相等。如果a=b≠0，那么1/a=1/b。
二、方程的分类。
1、一元一次方程：只含有一个未知数，且未知数次数是一的整式方程。通常形式是ax+b=0（a，b为常数，且a≠0）。
2、二元一次方程：一个含有两个未知数，并且未知数的次数都是1的整式方程。
3、一元二次方程：含有一个未知数，并且未知数的最高次数是2的整式方程。
4、三元一次方程：与二元一次方程类似，三个结合在一起的共含有三个未知数的一次方程。
等式的分类：
1、恒等式。
恒等式是无论其变量如何取值，等式永远成立的算式。恒等式成立的范围是左右函数定义域的公共部分，两个独立的函数却各自有定义域，与x在非负实数集内是恒等的，而在实数集内是不恒等的。
恒等式有多个变量的，也有一个变量的，若恒等式两边就一个变量，恒等式就是两个解析式之间的一种关系。
2、不等式。
一般地，用纯粹的大于号“>”、小于号“<”连接的不等式称为严格不等式，用不小于号（大于或等于号）“≥”、不大于号（小于或等于号）“≤”连接的不等式称为非严格不等式，或称广义不等式。总的来说，用不等号（<，>，≥，≤，≠）连接的式子叫做不等式。