An equation is a mathematical statement, in symbols, that two things are exactly the same (or equivalent). Equations are written with an equal sign, as in

$2\; +\; 3\; =\; 5\backslash ,$.

$9\; -\; 2\; =\; 7\backslash ,.$

The equations above are examples of an equality: a proposition which states that two constants are equal. Equalities may be true or false.

Equations are often used to state the equality of two expressions containing one or more variables. In the reals we can say, for example, that for any given value of $x$ it is true that

$x\; (x-1)\; =\; x^2-x\backslash ,.$

The equation above is an example of an identity, that is, an equation that is true regardless of the values of any variables that appear in it. The following equation is not an identity:

$x^2-x\; =\; 0\backslash ,.$

It is false for an infinite number of values of $x$, and true for only two, the roots or solutions of the equation, $x=0$ and $x=1$. Therefore, if the equation is known to be true, it carries information about the value of $x.$ To solve an equation means to find its solutions.

Many authors reserve the term equation for an equality which is not an identity. The distinction between the two concepts can be subtle; for example,

$(x\; +\; 1)^2\; =\; x^2\; +\; 2x\; +\; 1\backslash ,$

is an identity, while

$(x\; +\; 1)^2\; =\; 2x^2\; +\; x\; +\; 1\backslash ,$

is an equation, whose roots are $x=0$ and $x=1$. Whether a statement is meant to be an identity or an equation, carrying information about its variables can usually be determined from its context; or by making a distinction between the equality sign ($=$) for a statement not true except perhaps in particular situations, and the equivalence symbol ($\backslash equiv$) for statements know to be true without further specification.

Letters from the beginning of the alphabet like a, b, c... often denote constants in the context of the discussion at hand, while letters from end of the alphabet, like x, y, z..., are usually reserved for the variables, a convention initiated by Descartes.

Properties

If an equation in algebra is known to be true, the following operations may be used to produce another true equation:

1. Any quantity can be added to both sides.
2. Any quantity can be subtracted from both sides.
3. Any quantity can be multiplied to both sides.
4. Any nonzero quantity can divide both sides.
5. Generally, any function can be applied to both sides. (However, caution must be exercised to ensure that one does not encounter extraneous solutions.)

The algebraic properties (1-4) imply that equality is a congruence relation for a field; in fact, it is essentially the only one.

The most well known system of numbers which allows all of these operations is the real numbers, which is an example of a field. However, if the equation were based on the natural numbers for example, some of these operations (like division and subtraction) may not be valid as negative numbers and non-whole numbers are not allowed. The integers are an example of an integral domain which does not allow all divisions as, again, whole numbers are needed. However, subtraction is allowed, and is the inverse operator in that system.