Separable extension/Definition

A field extension in which all elements are separable.