A binary operation is an operation that applies to two quantities or expressions and .

A binary operation on a nonempty set is a map such that

1. is defined for every pair of elements in , and

2. uniquely associates each pair of elements in to some element of .

Examples of binary operation on from to include addition (), subtraction (), multiplication ) and division ().