Cardinal exponentiation

ID: cardinal-exponentiation

Cardinal exponentiation counts functions from a set of size to one of size . The currying law for cardinal exponentiation gives . These are cardinal operations, distinct from ordinal exponentiation. For example the Generalized continuum hypothesis specifies at infinite cardinals.

New to topics? Read the docs here!