Binary Operations

Definition: Binary Operation

A binary operation on a set $S$ is an Operation $f:S\times S\to S$.

NOTATION

Instead of writing $f(a,b)$, we often write $afb$.