Binary operation

A binary operation on a set $$S$$ is a function $$\ast : S \times S \to S$$. Typically a function considered as a "binary operation" will be written with infix notation, i.e. if $$a, b \in S$$ we will write $$a \ast b$$ rather than $$\ast(a, b)$$.