Formation (group theory)
In mathematical group theory, a formation is a class of groups closed under taking images and such that if G/M and G/N are in the formation then so is G/M∩N. Gaschütz (1962) introduced formations to unify the theory of Hall subgroups and Carter subgroups of finite solvable groups.