Definition:Semigroup Isomorphism