Cardinal arithmetic: Difference between revisions
m
→Successor cardinal
CreeperBomb (talk | contribs) (Copied from wikipedia https://en.wikipedia.org/wiki/Cardinal_number#Cardinal_arithmetic) |
CreeperBomb (talk | contribs) |
||
Line 2:
== Successor cardinal ==
If the axiom of choice holds, then every cardinal κ has a successor, denoted κ<sup>+</sup>, where κ<sup>+</sup> > κ and there are no cardinals between κ and its successor. (Without the axiom of choice, using Hartogs' theorem, it can be shown that for any cardinal number κ, there is a minimal cardinal κ<sup>+</sup> such that \(κ^+≰κ\). For finite cardinals, the successor is simply κ + 1. For infinite cardinals, the successor cardinal differs from the successor ordinal.
== Cardinal addition ==
| |||