Definition:Separable Field Extension