Definition:Total Algebra of Monoid over Ring