Es sei R {\displaystyle {}R} ein kommutativer Ring und A , B , S {\displaystyle {}A,B,S} seien kommutative R {\displaystyle {}R} -Algebren.
Dann ist