相反多項式
に対する共軛相反多項式 p が
p † ( z ) := a ̄ + a ̄ n − 1 z + ⋯ + a ̄ 0 z n = z n p ( z ̄ − 1 ) ̄ {\displaystyle p^{\dagger }(z):={\bar {a}}+{\bar {a}}_{n-1}z+\cdots +{\bar {a}}_{0}z^{n}=z^{n}\,{\overline {p({\bar {z}}^{-1})}}}
として定義される。ただし、複素数 w に対して w はその複素共軛を表す。紛れの虞の無い場合には、これを単に相反多項式と呼ぶこともある。
多項式 p が自己相反であるとは、p = p* が成り立つときにいう。共軛相反の意味での自己相反多項式の係数は、必ずすべて実数でなければならない。