Abstract:
We prove that the lattice of all $\tau$-closed saturated formations of finite groups is a complete sublattice of the lattice of all $\tau$-closed solubly saturated formations of finite groups.
Keywords:finite group, formation of groups, subgroup functor, $\tau$-closed formation, saturated formation, solubly saturated formation, complete lattice of formations, complete sublattice.