> ${\displaystyle (x\,\circ\,y)\,\circ\,z=x\,\circ\,(y\,\circ\,z) \forall x,y,z\in S}$ ^property