Definition

The lattice of normal subgroups with families indicated