Kategorie:Theorie der kommutativen Halbringe/Definitionen