含次序下格。这反映了在很多应用中只使用这种格的事实。人们经常查找有是函数 "f" 的不动点的这种性质的最小集合。抽象释义充分利用了 Knaster–Tarski 定理并公式给出了最小和最大不动点。Knaster–Tarski 定理可以用于康托尔-伯恩斯坦-施罗德定理的一个简单证明。这个定理(对于集合的格)的一个特殊情况出现在 Bronislaw Knaster 的论文中: