text: Пусть c k ( E ) = { π | B ′ ∗ − 1 c k ( E ′ ) , k < n e ( E R ) , k = n 0 , k > n . {\displaystyle c_{k}(E)={\begin{cases}{\pi |_{B'}^{*}}^{-1}c_{k}(E'),&k<n\\e(E_{\mathbb {R} }),&k=n\\0,&k>n.\\\end{cases}}} Нужна ещё некоторая работа, чтобы проверить выполнение аксиом классов Чженя для такого определения.