 Cayley table

A Cayley table records a binary operation on a finite set: the cell at row $a$, column $b$ contains $a\ast b$. Every cell must contain an element of the specified set. With the same ordering of row and column labels, the table is symmetric across its main diagonal exactly when the binary operation is commutative. Checking the associative property instead requires comparing $(a\ast b)\ast c$ with $a\ast (b\ast c)$ for every triple; symmetry alone cannot establish it.^[ref]