Set exponentiation