Производная порядка ρ цепи A ординала ρ равна ординалу ρ:
A(ρ) = ρ
Производная порядка 1 ординала ρ равна ординалу ρ:
ρ(1) = ρ
___________________________
Производная порядка 0 цепи A тождественна A:
A(0) = A
Производная порядка η+1 цепи A -- цепь всех хвостов производной порядка η цепи A:
A(η+1) = { A(η)(x): x∈A(η) },
где A(x) = {y∈A: yA } --
(
Read more... )