Associativity

algebra

Definition

Associativity

A relation $R$ is called associative over a set $S$ if:

$$\forall x,y,z\in S:xR(yRz)=(xRy)Rz$$