Transcendence basis
= Transcendence basis
A transcendence basis of a <field extension> $L/k$ is an algebraically independent set $T$ such that $L/k(T)$ is algebraic. Its cardinality is the <transcendence degree>. For finitely generated extensions it is finite, and the remaining algebraic extension is finite.