унар

О наследственности формаций унаров

Авторы: Расстригин А. Л.
Формацией называют класс алгебраических систем, замкнутый относительно гомоморфных образов и конечных подпрямых произведений. В работе показано, что любая формация, состоящая из не более чем счетных унаров, является наследственной.