Subgroup-closed lattice formations

A formation FF of finite groups is called a lattice formation if the set of all FF-subnormal subgroups is a sublattice of the lattice of all subgroups in every finite group. The main result of this paper describes the family of all subgroup-closed lattice formations, and it can be regarded as an important step towards the solution of Shemetkov's classification problem.