The property of a binary operation that integer powers (xⁿ) are well-defined.
It implies that powers of an element associate among themselves: x^m x^n = x^(m+n).
It holds even for non-alternative flexible algebras like the sedenions, trigintaduonions, and Okubo algebras; every Jordan algebra is power-associative.