Potenzreihenring/Endlich viele Variablen/Definition/Begriff