Binary operation

A binary operation is a function that takes two inputs and outputs another one - all in the same domain.

I.e. the function $b$ is binary operation if $b: S \times S \rightarrow S$ for some domain $S$.