algebraic extension

Short definition from Wiktionary

Noun

1. 1
   A field extension L/K which is algebraic over K (i.e., is such that every element of L is a root of some (nonzero) polynomial with coefficients in K).