nLab
normal field extension

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]$.