Cayley Table/Examples/Self-Maps on Doubleton

Example of Cayley Table
Let $S$ be the set of self-maps on the doubleton $D = \set {a, b}$.

Let these be enumerated:
 * $\epsilon := \begin{pmatrix} a & b \\ a & b \end{pmatrix}

\quad \alpha := \begin{pmatrix} a & b \\ b & a \end{pmatrix} \quad \beta := \begin{pmatrix} a & b \\ a & a \end{pmatrix} \quad \gamma := \begin{pmatrix} a & b \\ b & b \end{pmatrix}$

Let $\struct {S, \circ}$ be the semigroup of self-maps under composition of mappings.

The Cayley table of $\struct {S, \circ}$ can be written:


 * $\begin{array}{c|cccc}

\circ & \epsilon & \alpha & \beta & \gamma \\ \hline \epsilon & \epsilon & \alpha & \beta & \gamma \\ \alpha & \alpha & \epsilon & \gamma & \beta \\ \beta & \beta & \beta & \beta & \beta \\ \gamma & \gamma & \gamma & \gamma & \gamma \\ \end{array}$