a [[binary operation]] $(\cdot): X \times X \to X$ is **associative** iff $(ab)c = a(bc)$ then $X$ is called a **semigroup**. (make sure that $ab \in X$, aka **closure**.)