⊆ Sub("A"x"A")。我们有着还有一个逆命题成立: 通过 G. Grätzer 和 E.T.Schmidt 的一个定理，所有代数格同构于某个代数 "A" 的 Con("A")。
应用.紧致元素在计算机科学中的叫做域理论的形式语义方法中很重要，这里它们被认为是某种基本元素: 紧致元素表示的信息不能通过从未包含这个知识的任何逼近来获得。紧致元素不能从严格低于它们的元素逼近。在另一方面，碰巧会有所有非紧致元素可以获得为紧致元素的上确界。这是需要的情况，因为紧致元素的集合经常