條件等式的定義

條件等式(conditional equality)是一種常見的等式，若一個等式在所討論的範圍內僅當滿足某些條件時才能成立，則稱這個等式為條件等式。

換言之，在等式所討論的範圍內，當取某些對象時等式成立，而取另外一些對象時等式不成立，這樣的等式稱為條件等式。