恒等式と条件式とは、数字が互いに関連し合う方法です。 ある方程式が変数のすべての値に対して成り立つとき、その方程式は恒等式と呼ばれます。 IまたはEと表記されることが多い（Eはドイツ語のEinheit、つまり「統一」に由来する）。 例えば、3x = 3x は、x が常に同じ数であるため、恒等式となる。 0は足し算の恒等式で、0にどんな数を加えても他のどの数の値も変化しない（またはx + 0 = x）からである。 1は乗算の恒等式要素であり、演算中のどの数字に1を乗じても、その数字の値は変わらないからである。 多重恒等式はしばしば x × 1 = x と書かれる。
方程式が少なくとも1つの値に対して偽であるとき、それは条件付き方程式と呼ばれる。 たとえば、6x＝12はx＝3（および2以外の数）のとき偽となるので条件付きである。 言い換えれば、方程式が偽となる（または右辺が左辺と等しくない）値が少なくとも1つ見つかれば、その方程式は条件付き方程式と呼ばれる＜8730＞＜5763＞。