Теория Фраттини для классов конечных универсальных алгебр мальцевских многообразий

Теория Фраттини формаций и классов Шунка конечных групп распространяется до теории Фраттини формаций и классов Шунка конечных универсальных алгебр мальцевских многообразий. Доказано, что если $\mathscr F\neq(1)$ – непустая формация (класс Шунка) алгебр мальцевского многообразия, то их фраттиниева подформация (фраттиниев подкласс Шунка) $\Phi(\mathscr F)$ состоит из всех непорождающих алгебр $\mathscr F$ кроме того, если $\mathscr M$ – формация (класс Шунка), содержащийся в $\mathscr F$, то $\Phi(\mathscr M)\subseteq\Phi(\mathscr F)$.