impredicative extension

Мат. непредикативное расширение