A field extension $K\subset L$ is said to be normal if $L$ is the splitting field of a family of polynomials in $K[x]$.