Associative

Definition

An operator is associative if:

• $$(xy)z=x(yz)$$ where $xy$ denotes the operator acting on $x$ and $y$

In fact given a function $\times:S\times S\rightarrow S$ we even call the image of $(x,y)$ under $\times$ the product (or indeed the sum if we're using additive notation)