Semigroup Isomorphism/Examples