Binary operation

From Encyclopedia of Mathematics
Jump to: navigation, search

An algebraic operation on a set $A$ with two operands in a given order, hence a function from $A\times A \rightarrow A$. Such an operator may be written in conventional function or prefix form, as $f(a,b)$, occasionally in postfix form, as $a\,b\,\omega$ or $(a,b)\omega$, but more commonly in infix form as $a \star b$ where $\star$ is the operator symbol. Many arithmetic, algebraic and logical functions are expressed as binary operations, such as addition, subtraction, multiplication and division of various classes of numbers; conjunction, disjunction and implication of propositions.

A binary operation is partial if it is not defined on all pairs $(a,b) \in A \times A$ (as for example division by zero is not defined). Properties of binary operations which occur in many contexts include


[a1] R.H. Bruck, "A survey of binary systems" Ergebnisse der Mathematik und ihrer Grenzgebiete. Neue Folge. 20 Springer (1958) Zbl 0081.01704
How to Cite This Entry:
Binary operation. Encyclopedia of Mathematics. URL: