Binary Operation

https://www.openmath.net/algebra/groups/binary_operations_and_groups.html

Let \(S\) be a set. A binary operation is a function \(\cdot: S\times S \rightarrow S\)