Associativity

In algebra, associativity is a property of binary operations. If $\star$ is a binary operation then the associative property is the condition that

$(x\star y)\star z=x\star (y\star z)\,$

for all x, y and z.

Examples of associative operations are addition and multiplication of integers, rational numbers, real and complex numbers. In this context associativity is often referred to as the associative law. Function composition is associative.

An operation is power-associative if

$(x\star x)\star x=x\star (x\star x)\,$

for all x. In such cases the expression $x^{n}$ is well-defined for all positive integers n.