Trong [[toán học]], '''đẳng thức''' là một quan hệ giữa hai đại lượng, hay tổng quát hơn, hai [[Biểu thức (toán học)|biểu thức]], khẳng định rằng hai đại lượng hay giá trị đó bằng nhau, tức có cùng giá trị, hay cả hai đều biểu diễn cùng một [[đối tượng toán học]]. Đẳng thức giữa <math>a</math> và <math>b</math> được viết là <math>a=b</math> và đọc là <math>a</math> bằng <math>b</math>, trong đó <math>a</math> và <math>b</math> được gọi là hai vế của đẳng thức. Ví dụ:
* <math>x=y</math> nghĩa là <math>x</math> và <math>y</math> cùng tượng trưng cho cùng một vật.<ref>{{harvnb|Rosser|2008|page=163}}.</ref>
* <math>(x+1)^2=x^2+2x+1</math> nghĩa là nếu <math>x</math> là một số bất kì, hai biểu thức đó vẫn có cùng giá trị. Trong trường hợp, cũng có thể nói là hai vế của đẳng thức tượng trưng cho cùng một [[hàm số]].
