Binary operation

A **binary operation** is a calculation that combines two elements (operands) from a set to produce another element of the same set. In formal mathematics, it is defined as a function \( B: S \times S \to S \), where \( S \) is a set and \( S \times S \) denotes the Cartesian product of \( S \) with itself.