Definition:Total Quotient Ring