Definition:Separable Element of Field Extension