A mathematical statement showing that two expressions are equal.
Example: (2x+3=11)