File:2subnormalityisnotfinitejoinclosed.png

This is a relevant part of the subgroup lattice for SmallGroup(64,32), illustrating that a join of 2-subnormal subgroups need not be 2-subnormal.