Definition:Maximal Algebraic Extension