A binary operation is any operation that involves two operands. For example, in the field of real numbers, the operations of addition, subtraction, and multiplication are binary.

Stated in terms of set theory, for any ordered pair of elements (a, b) in a set S, a binary operation is an operation * such that a*b is a unique element of S.