Definition:Power Associativity

Definition
Let $\struct {S, \circ}$ be a magma.

$\struct {S, \circ}$ is power associative :
 * $\forall a \in S: a \circ \paren {a \circ a} = \paren {a \circ a} \circ a$