Definition:Graded Ring of Semigroup Type