定義
K を可換体とする。
f(X) ∈ K[X] を定数でない多項式とする。
n = deg f(X) とする。
L を f(X) の分解体（>>538）とする。
f(X) は L において n 個の互いに異なる根を持つとする。
このとき f(X) は分離的であると言う。
>>693より、この定義は f(X) の分解体 L の取り方によらない。