Definition:Power-Associative Operation

From ProofWiki
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


Sources