Definition:Algebraic over Field