Definition:Separable Polynomial

Let $k$ be a field.

Let $P(x)\in k[x]$ be a polynomial.

$P$ is called separable if its roots are distinct in an algebraic closure of $k$.