Associative operation (source code)

= Associative operation

A binary operation $*$ is associative when $(x*y)*z=x*(y*z)$ for every $x,y,z$.