Burris, S. 和 Sankappanavar, H. P. 通用代数教程。 纽约: Springer-Verlag, 1981. http://www.thoralf.uwaterloo.ca/htdocs/ualg.html.Gehrke, M.; Kaiser, K.; 和 Insall, M. "应用于分配格的一些非标准方法。" Zeitschrifte für Mathematische Logik und Grundlagen der Mathematik36, 123-131, 1990.Grätzer, G. 格论：第一概念与分配格。 旧金山, CA: W. H. Freeman, 1971.Grätzer, G. 通用代数，第二版。 纽约: Springer-Verlag, 1979.Insall, M. "格中使用非标准证明方法的某些有限性条件。" J. Austral. Math. Soc.53, 266-280, 1992.
为格（或有界格或有补格等），并令 
为 
的覆盖关系。
是局部实现的，如果对于 
的每个有限子集 
，都存在 
的有限生成子格 
，它包含 
，对于该子格，
。可以证明，
是局部实现的当且仅当存在超有限生成子格 
的 
使得 
。使用局部实现的覆盖关系的这个表征，可以使用非标准方法证明以下标准结果
为局部有限格，其中覆盖关系是局部实现的，并令 
为 
的子格，它由 
生成。则 
是 
的连通容许关系，实际上它是 
的最小局部子连通（和局部连通）容许关系。