On sublattices of the lattice of all ω-composition formations of finite groups

It is proved that the lattice of all ω-local formations is a complete sublattice of the lattice of all ω-composition formations of finite groups