Determine whether the definition of * does give a binary operation on the set. In the event that * is not a binary operation, state whether Condition 1, Condition 2, or both of these conditions on page 24 are violated.

On Z⁺, define * by letting a * b = a^b.