An operation which maps two operands to the result of the operation.

Examples are standard Addition, Multiplication, and their generalization to other Algebraic structures