Strong containment of saturated formations of soluble Lie algebras
  It is shown that, if H,K are saturated formations of soluble Lie algebras over a field of non-zero characteristic and H strongly contains K non-trivially, then H coincides with the formation generated by the L/N(L) for L in H, and that H is not locally defined. 
Donald W. Barnes
math.RA math.GR