Graded monoid