Definition:Power-Associative Operation

Definition
Let $\circ$ be a binary operation.

Then $\circ$ is defined as being power-associative on $S$ iff:


 * $\forall x \in S: \left({x \circ x}\right) \circ x = x \circ \left({x \circ x}\right)$

Also see

 * Alternative


 * Associative