\(i\)を階数、\(G:\mathord {\textnormal {\textsf {LocalGen}}}(i)\)を局所生成系、\(A:\mathcal {U}(i)\)を型とする。\(A\)の\(G\)-局所化(\(G\)-localization) \(\mathord {\textnormal {\textsf {Loc}}}(G,A):\mathcal {U}(i)\)を\(\mathord {\textnormal {\textsf {WLoc}}}(\mathord {\textnormal {\textsf {D}}}(G),A)\)と定義する。