separable extension

(algebra) A finite (and thereby algebraic) extension of a base field such that every element of the extension is the root of a separable polynomial over the base field.