具有八十三个子近格元素的平面半格与近格

有限（上）近格本质上与有限半格、有限交换幂等半群、有限并富化交半格以及截断格是相同的数学实体。我们证明，如果一个具有 $n$ 个元素的近格至少拥有 $83\cdot 2^{n-8}$ 个子近格，那么它必然具有一个平面的哈斯图。对于 $n>8$，这一结果是精确的。