In general, for any Fitting class F, both the subnormal F-subgroups and the normal F-subgroups form lattices.
The fact that normal subgroups form a modular lattice is a particular case of a more general result, namely that in any Maltsev variety (of which groups are an example), the lattice of congruences is modular .