Associative Property

Definition

$\forall x,y,z\in S:(x\ast y)\ast z=x\ast (y\ast z)$