Una extensión formula_26 se dice que es algebraica si todo elemento formula_34 es algebraico sobre formula_14.