Dear Student,
A binary operation ∗ on a non-empty set S is a rule that assigns to each ordered pair of elements of elements of S a uniquely determined element of S. The element assigned to the ordered pair (a, b) with a, b ∈ S is denoted by a ∗ b.
Regards