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 = c, where c is the smallest integer greater than both a and b.