Let τ be a subgroup functor such that all subgroups of every finite group G contained in τ(G) are subnormal in G. In this paper, we give a simple proof of the fact that the lattice of all τ-closed totally composition formations of finite groups is inductive.