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 largest integer less than the product of a and b.