**Definition**: We say that the [[Binary Operation]], $*$, is associative on $S$ if $(a*b)*c = a*(b*c) \quad \forall a,b,c \in S$ ### References - [[Groups]] - [[Rings]] -