transcendental extension

field extension that contains an element algebraically independent from the base field