On hyperradical formations of finite groups

A formation $\mathfrak F$ of finite groups is called a hyperradical formation if $\mathfrak F$ is a normally subgroup-closed formation and $\mathfrak F$ contains every group $G=\langle H,K\rangle$, where $H$ and $K$ are $\mathfrak F$-subnormal $\mathfrak F$-subgroups of $G$. It is proved that every subgroup-closed hyperradical formation of finite groups is a lattice solubly saturated Fitting formation.