Definition:Power-Associative Operation
Jump to navigation
Jump to search
This page is about Power-Associative Operation. For other uses, see Associative.
Definition
Let $\circ$ be a binary operation.
Then $\circ$ is defined as being power-associative on $S$ if and only if:
- $\forall x \in S: \paren {x \circ x} \circ x = x \circ \paren {x \circ x}$
Also see