Es sei ${\displaystyle {}K}$ ein Körper und sei ${\displaystyle {}A}$ eine kommutative ${\displaystyle {}K}$-Algebra. Man nennt Elemente ${\displaystyle {}f_{1},\ldots ,f_{n}\in A}$ algebraisch abhängig, wenn es ein von ${\displaystyle {}0}$ verschiedenes Polynom ${\displaystyle {}P\in K[X_{1},\ldots ,X_{n}]}$ mit

${\displaystyle {}P(f_{1},\ldots ,f_{n})=0\,}$

gibt.