A **binary operation** on a set $S$ is a function $S\times S\to S$.

If the operation is denoted by $*$, then the output of this function applied to $(s_1,s_2)$ is typically denoted $s_1*s_2$.

**Authors:**

**Knowl status:**

- Review status: reviewed
- Last edited by John Jones on 2018-08-06 02:15:51

**Referred to by:**

**History:**(expand/hide all)

- 2018-08-06 02:15:51 by John Jones (Reviewed)