algebraic extension

noun

, Mathematics.

1. a field containing a given field such that every element in the first field is algebraic over the given field.