Define a binary operation on a set.
Binary operations on a set are calculations that combine two elements of the set (called operands) to produce another element of the same set.
The binary operations * on a non-empty set A are functions from A × A to A. The binary operation, *: A × A → A. It is an operation of two elements of the set whose domains and co-domain are in the same set.