power associativity

property of a binary operation

Categories: