The displayed homomorphism condition for an isomorphism ∅ in Definition 3. 7 is sometimes summarized by saying,"∅ must commute with the binary operation(s)." Explain how that condition can be viewed in this manner

Data from Definition 3.7

Let (S, *) and (S', *') be binary algebraic structures. An isomorphism of S with S' is a one-to-one function ∅ mapping S onto S' such that ∅(x * y) = ∅(y) *' ∅(y) for all x, y ∈ S. homomorphism property. If such a map ∅ exists, then S and S' are isomorphic binary structures, which we denote by S ≈ S', omitting the * and *' from the notation.