Binary operation (source code)

= Binary operation
{wiki}

A binary operation on a <set> $S$ is a <function> $S\times S\to S$.