Binary Operation Definition/Meaning:
1. Dyadic operation defined on a set S. A function from the domain S
x S into S itself. Many of the everyday arithmetic and algebraic operations are
binary, e.g. the addition of two integers, the union of two sets, and the
conjunction of two Boolean expressions.
Although basically functions,
binary operations are usually represented using an infix notation, as in
3 + 4, U U V, P ^
The operation symbol then appears between the left and right operand. A
symbol, such as °, can be used to represent a generalized binary operation.
When the set S is finite, Cayley tables and sometimes 'truth tables
are used to define the meaning of the operation.
2. An operation on binary