等式中，恒等式稱為恒等式，例如，(y+2)2 = y ^ 2+4y+4。
矛盾稱為矛盾方程，如x+1 = x。
當未知量等於壹個特定值時，稱為條件方程，可以使等號兩邊的值相等，例如x+3=8，當x=5時，等號成立。
能使方程左右兩邊相等的未知數的解叫做方程的解。
求方程的解或說明方程無解的過程叫解方程。