A binary operation on a set S is a function SxS->S

For example addition on the integers defines a binary operation.