Kategorie:Theorie der durch universelle Eigenschaften bestimmten Ringhomomorphismen (kommutative Algebra)/Definitionen