Determine whether or not each definition * given below gives a binary operation. In the event that * is not a binary operation give justification of this. On Z + , defined * by a*b = ab Here, Z + denotes the set of all non-negative integers.