is: an equality between two algebraic expressions. [M1.1]
See also solution and identity.
Copyright 1997, The Open University