Abstract:
We prove that the finite length condition for the lattice of $\tau$-closed totally saturated subformations of a $\tau$-closed totally saturated formation is equivalent to the finite length condition for this lattice, and it is also equivalent for the formation to be soluble and one-generated.
Keywords:formation of finite groups, totally saturated formation, lattice of formations, $\tau$-closed formation, one-generated formation.