Ist jede (möglicherweise unendliche) Summe von Kardinalzahlen definiert?

Hrbacek und Jech geben die folgende Definition der Kardinaladdition:Geben Sie hier die Bildbeschreibung ein

Meine Frage ist: bei einem indizierten Kardinalsystem κ ich | ich ICH gibt es ein System A ich | ich ICH von voneinander disjunkten Mengen, so dass | A ich | = κ ich für alle ich ICH ?

Antworten (1)

Ja. Lass einfach A ich = { ich } × κ ich , zum Beispiel.