Let be a ring with a subring . An element is algebraic over if there exist elements , with , such that
The ring is algebraic over if every element of is algebraic over .