Perfect means characteristic zero, or Frobenius-surjective in positive characteristic.Suggest a slogan
A field \(k\) is perfect, that is, every irreducible polynomial in \(k[x]\) is separable, if and only if either
\(\ch k = 0\), or
\(\ch k = p > 0\) and \(k^p = k\).