Kategorie:Theorie der Potenzreihenringe/Definitionen