унар

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

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