формальное ядро

Мат. formal kernel