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.
為格（或有界格或有補格等），並令 
為 
的覆蓋關係。
是區域性實現的，如果對於 
的每個有限子集 
，都存在 
的有限生成子格 
，它包含 
，對於該子格，
。可以證明，
是區域性實現的當且僅當存在超有限生成子格 
的 
使得 
。使用區域性實現的覆蓋關係的這個表徵，可以使用非標準方法證明以下標準結果
為區域性有限格，其中覆蓋關係是區域性實現的，並令 
為 
的子格，它由 
生成。則 
是 
的連通容許關係，實際上它是 
的最小區域性子連通（和區域性連通）容許關係。