Формации конечных унаров

В работе описывается решетка подформаций произвольной конечной формации унаров по включению. показано, что любая конечная формация унаров является наследственной.