О подрешетках решетки частично тотально насыщенных формаций конечных групп

Доказано, что для любого подгруппового функтора $\tau$ решетка всех $\tau-$замкнутых тотально $\omega-$насыщенных формаций является полной подрешеткой решетки всех тотально $\omega-$насыщенных формаций конечных групп. В частности, установлена вложимость решетки всех $\tau-$замкнутых тотально насыщенных формаций в решетку всех тотально насыщенных формаций, а также вложимость решетки всех $\tau-$замкнутых тотально $p-$насыщенных формаций в решетку всех тотально $p-$насыщенных формаций.