条件等式的定义

条件等式(conditional equality)是一种常见的等式，若一个等式在所讨论的范围内仅当满足某些条件时才能成立，则称这个等式为条件等式。

换言之，在等式所讨论的范围内，当取某些对象时等式成立，而取另外一些对象时等式不成立，这样的等式称为条件等式。