數學符號≡是恆等的意思，≡是無條件等於，不論條件怎麼變，都是成立的。恆等式是無論其變數如何取值，等式永遠成立的算式。恆等式成立的範圍是左右函式定義域的公共部分，兩個獨立的函式卻各自有定義域，與x在非負實數集內是恆等的，而在實數集內是不恆等的。
恆等式有多個變數的，也有一個變數的，若恆等式兩邊就一個變數，恆等式就是兩個解析式之間的一種關係。它來源於e^ix=cosx+isinx(複數的三角表示),令x=π就得e^πi+1=0。兩個解析式恆等與否不能脫離指定的數集來談，因為同樣的兩個解析式，在一個數集內是恆等的，在另一個數集內可能是不恆等的。
