\begin{definition}[Definition:Power Associativity]
Let $\struct {S, \circ}$ be a magma.
$\struct {S, \circ}$ is '''power associative''' {{iff}}:
:$\forall a \in S: a \circ \paren {a \circ a} = \paren {a \circ a} \circ a$
Category:Definitions/Powers (Abstract Algebra)
\end{definition}