Define set-exponentiation and show some cardinality properties thereof.