Question 1166868
<br>
-----------------------------------------------------<br>
Response revised/corrected....<br>
The two inputs are integers; and the output is always an integer.<br>
That makes * a binary operation on the set of integers.<br>
-------------------------------------------------<br>
Revision...<br>
I wrongly took the given set to be the set of positive integers; in standard nomenclature it is the set of natural numbers.<br>
Even if the set were the set of positive integers, there would be a single counterexample making * NOT a binary operation on the set:
1*1 = 1-1 = 0
But 0 is not a positive integer.<br>
With the set actually being the natural numbers, there are an infinite number of counterexamples.  If either a or b is 0, then a*b = 0-1 = -1; and -1 is not a natural number.<br>
ANSWER: a*b does NOT define a binary operation on the given set.<br>