Inseparable Extension

An algebraic field extension K ⊂ L in which at least one element of L has a minimal polynomial over K with repeated roots (equivalently, the minimal polynomial and its formal derivative are not coprime), so the extension fails the separability condition.