Definition:Separable Polynomial/Definition 2

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 no double roots in every field extension of $K$.