Es sei ${\displaystyle {}K}$ ein Grundkörper und ${\displaystyle {}K\subseteq L}$ eine Körpererweiterung. Man sagt, dass ${\displaystyle {}f_{1},\ldots ,f_{n}\in L}$ eine Transzendenzbasis von ${\displaystyle {}L}$ über ${\displaystyle {}K}$ ist, wenn die ${\displaystyle {}f_{1},\ldots ,f_{n}}$ algebraisch unabhängig sind und ${\displaystyle {}K(f_{1},\ldots ,f_{n})\subseteq L}$ eine algebraische Körpererweiterung ist.