冪結合性
Wikipedia の式が冗長な気がするSummer498.icon
Power associativity - Wikipedia
$ x*(x*(x*x))=(x*(x*x))*x=(x*x)*(x*x)
大雑把に見ると交換律と結合律を組み合わせたような法則だけど、取れる項の形に制限を加えているということかtakker.icon