Exponentiation of Cardinal Numbers - kipawaa/Proof-Tree GitHub Wiki

Statement

If $\kappa = \lvert A \rvert, \lambda = \lvert B \rvert$ are Finite Cardinal Numbers such that not both $A$ and $B$ are the Empty Set, we have that $\kappa^\lambda = \lvert A^B \rvert$.

Explanation

Proof(s)

History

Applications

Links

Dependencies

• Finite
• Cardinal Numbers
• Empty Set

Dependents

Sources

• Hrbacek, K., & Jech, T. (1999). Introduction to Set Theory, Revised and Expanded (3rd ed.). CRC Press. https://doi.org/10.1201/9781315274096