Definition:Power Associativity

Definition

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

$\struct {S, \circ}$ is power associative if and only if:

$\forall a \in S: a \circ \paren {a \circ a} = \paren {a \circ a} \circ a$