Algebraic Element of Field Extension/Definition 2