κ + λ = max(κ,λ) for infinite; κ · λ = max; but κ^λ subtle. GCH: 2^κ = κ⁺. Hausdorff's formula for cofinality.