What defines an identity compared to a standard equation?
It is true for all allowed values of the variable, often denoted by ≡\equiv≡.
