A binary operation is a function which takes two elements of a class X an returns a single element of X. [1] One writes f:X×X→X if f is a binary operation.
