多項式 $P(x)$ が実数係数で $P(a+bi)=0$ ならば $P(a-bi)=0$ であることを何というか。

実数係数方程式の虚数解は、必ず共役な複素数とペアで現れる。