关于具有许多子格的格的注记

对每一个自然数 $n\geq 5$，我们证明 $n$ 元格的子全域(subuniverse)个数为 $2^n$、$13\cdot 2^{n-4}$、$23\cdot 2^{n-5}$，或小于 $23\cdot 2^{n-5}$。所谓子全域，是指一个子格或空集。此外，我们描述了恰有 $2^n$、$13\cdot 2^{n-4}$ 或 $23\cdot 2^{n-5}$ 个子全域的 $n$ 元格。