Definition:Separable Polynomial/Definition 3

Definition
Let $K$ be a field.

Let $P \left({X}\right) \in K \left[{X}\right]$ be a polynomial of degree $n$.

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