Correct the definition of the italicized term without reference to the text, if correction is needed, so that it is in a form acceptable for publication.

A function∅: S-+ S' is an isomorphism if and only if ∅(a* b) = ∅(a) *' ∅(b).