有界格有一个最大元素和一个最小元素，按惯例分别指示为1和0（也叫做顶和底）。任何格都可以通过增加一个最大元素和最小元素而转换成有界格。使用容易的归纳论证，你可以演绎出任何格的所有非空有限子集的上确界（并）和下确界（交）的存在。一个很重要的格的种类是完全格。一个格是完全的，如果它的所有子集都有一个交和一个并，这对比于上述格的定义，这里只要求所有非空有限子集的交和并的存在。
抽象代数定义.另一种定义格的方式是将格定义为一种代数结构。一个格是一个代数结构formula_3，其中for