Xét một biểu thức n biến a_1,a_2,...,a_n là f(a_1,a_2,...,a_n)
Nếu như với mọi hoán vị bất kỳ A của a_1,a_2,...,a_n ta đều có f(a_1,a_2,...,a_n)=f(A) thì ta gọi f(a_1,a_2,...,a_n) là biểu thức đối xứng.
Từ định nghĩa này thì với bất đẳng thức chứa 2 vế đều là biểu thức đối xứng thì ta gọi đó là...