Binary Operation

A binary operation $\ast$ on a Set A is a Function $\ast : A\times A\rightarrow A$.