Power associativity

In mathematics, specifically in abstract algebra, power associativity is the property of a binary operation that integer powers () are well-defined; it implies that for all positive integers . It is a weak form of associativity.