Hey guys, I am trying to define a cayley table abstractly, suppose I have a magma of $n$ elements $(M,\circ)$ such that any pair of products will be equal to one of the $n$ elements in the underlying set $M$. Suppose now I impose an ordering onto $M$ and call this new ordered set $S$, can the following set notation give the cayley table of $(M,\circ)$?
$$T=\{\ x\lvert \forall (a,b) \in S \times S, a\circ b=x\}$$
or I will just end up with an ordered set (probably in dictionary order) that has entries of the form $(a,b) a\circ b$ instead of the desired form $a\circ b$?