When the operation ' . ' is commutative, then x \star y = y \circ x. As a result, only part of each Cayley table must be computed, because x \star x = x \circ x always holds, and x \star y = x \circ y implies y \star x = y \circ x.
