In field theory, a branch of algebra, an algebraic field extension is called a separable extension if for every, the minimal polynomial of over F is a separable polynomial. Wikipedia