Hrbacek und Jech geben die folgende Definition der Kardinaladdition:
Meine Frage ist: bei einem indizierten Kardinalsystem⟨κich| ich∈ich⟩ ⟨ κ ich | ich ∈ ICH ⟩ gibt es ein System⟨Aich| ich∈ich⟩ ⟨ A ich | ich ∈ ICH ⟩ von voneinander disjunkten Mengen, so dass|Aich| =κich | A ich | = κ ich für alleich ∈ ich ich ∈ ICH ?
Ja. Lass einfachAich= { ich } ×κich A ich = { ich } × κ ich , zum Beispiel.