Definition:Monoid Isomorphism