"f"("x"1,"x"2,…,"x""n")が対称式の時、その次数 "deg"("f")＝("a"1,"a"2, …, "a""n")は、任意の添字1 ≤ "j" ≤ "k" ≤ "n" に対して、広義単調減少 "a""j" ≥ "a""k" となる。