Достаточный признак разрешимой насыщенности формации

Для формации $\mathfrak{F}$ и множества простых чисел $\pi$ исследуется разрешимая насыщенность формации $S_\pi^{\mathfrak{F}}$ всех конечных групп, у которых каждая $\pi$-подгруппа принадлежит $\mathfrak{F}$.