Kategorie:Theorie der monomialen Ideale im Polynomring/Definitionen