binary operation

Binary operation

For a set $A\ne \varnothing$, a binary operation is a function with closure: $\circ :A\times A\to A$ that takes a pair of elements of $A$ and combines them to produce another element of $A$:

$$(x,y)\mapsto x\circ y$$