Es sei R {\displaystyle {}R} ein kommutativer Ring, A {\displaystyle {}A} eine kommutative R {\displaystyle {}R} -Algebra und f 1 , … , f n ∈ A {\displaystyle {}f_{1},\ldots ,f_{n}\in A} Elemente. Ein Polynom P ∈ R [ X 1 , … , X n ] {\displaystyle {}P\in R[X_{1},\ldots ,X_{n}]} mit P ( f 1 , … , f n ) = 0 {\displaystyle {}P(f_{1},\ldots ,f_{n})=0} heißt Relation (oder algebraische Relation) für die Elemente.
![{\displaystyle {}P\in R[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95ca939fdc434d139a14420a3f7815acb19186a1)
