Library
▹
Essentials
▹
Numbers
▹
Cardinal numbers
Definition 1.8.2.14.
Let
κ
,
μ
be
cardinal numbers
. We define
κ
μ
by:
|
K
|
|
J
|
:
=
|
J
→
K
|
(
K
is a set,
J
is a set)
References.
https://mathworld.wolfram.com/CardinalExponentiation.html
https://en.wikipedia.org/wiki/Cardinal_number#Cardinal_exponentiation
https://proofwiki.org/wiki/Definition:Exponentiation_of_Cardinals
https://leanprover-community.github.io/mathlib_docs/set_theory/cardinal.html#cardinal.power_def