Kategorie:Theorie der endlichen freien kommutativen Algebren/Definitionen