Definition:Separable Polynomial/Definition 3

Definition
Let $K$ be a field.

Let $\map P X \in K \sqbrk X$ be a polynomial of degree $n$.

$P$ is separable it has $n$ distinct roots in every field extension where $P$ splits.