Let \({\mathfrak {X}}\) be a class of simple groups with a completeness property \(\pi ({\mathfrak {X}}) = \mathrm {char} \, {\mathfrak {X}}\). A formation is a class of finite groups closed under taking homomorphic images and finite subdirect products. Förster introduced the concept of \({\mathfrak {X}}\)-local formation in order to obtain a common extension of well-known Gaschütz–Lubeseder–Schmid, and Baer theorems (Publ Mat Univ Autònoma Barcelona 29(2–3):39–76, 1985). In the present paper, it is shown that any law of the lattice of all formations is true in the lattice of all \({\mathfrak {X}}\)-local formations.

假设\（{\ mathfrak {X}} \）是具有完整性属性\（\ pi（{\ mathfrak {X}}）= \ mathrm {char} \，{\ mathfrak {X}}的一类简单组\）。地层是在同态图像和有限次子乘积下闭合的一类有限群。Förster引入了\（{\ mathfrak {X}} \） -局部形成的概念，以便获得著名的Gaschütz–Lubeseder–Schmid和Baer定理的共同扩展（Publ Mat UnivAutònomaBarcelona 29（2–3 ）：39-76，1985年）。在本文中，证明了在所有\（{\ mathfrak {X}} \）-局部构造的格中，所有构造的格的任何定律都是正确的。