# (Function|Operator) - Associative Property

## 1 - Definition

An operator or function op is associative if the following holds:

$$(a \text{ op } b) \text{ op } c == a \text{ op } (b \text{ op } c)$$

## 3 - Parallel

The importance of this to parallel evaluation can be seen if we expand this to four terms:

$$a \text{ op } b \text{ op } c \text{ op } d == (a \text{ op } b) \text{ op } (c \text{ op } d)$$

So we can evaluate (a op b) in parallel with (c op d), and then invoke op on the results.

## 4 - Linear Algebra

Associativity of function composition: $h \circ (g \circ f) = (h \circ g) \circ f$

 $(h \circ (g \circ f))(x)$ = $h(g \circ f)(x)$ $h(g(f(x)))$ $(h \circ g)(f(x))$ $((h \circ g) \circ f)(x)$

## 5 - Example

Examples of associative operations include:

$$(x + y) + z = x + (y + z)$$