Es sei ${\displaystyle {}R}$ ein kommutativer Ring, ${\displaystyle {}A}$ eine kommutative ${\displaystyle {}R}$-Algebra und ${\displaystyle {}f_{1},\ldots ,f_{n}\in A}$ Elemente. Ein Polynom ${\displaystyle {}P\in R[X_{1},\ldots ,X_{n}]}$ mit ${\displaystyle {}P(f_{1},\ldots ,f_{n})=0}$ heißt Relation (oder algebraische Relation ) für die Elemente.