A binary operation is an scalar operation with two arguments (arity of two) that produces one value.
They are creating a binary relation.
<MATH> f(x,y) = 2x.y </MATH>