划分格的上积嵌入

我们证明了无限集 X 上所有等价关系的格 Eq(X) 包含其自身的两个副本的 0-上积作为 0,1-子格，从而回答了 G.M. Bergman 提出的一个问题。因此，利用由 de Bruijn 发起并由 Bergman 进一步发展的方法，我们得出 Eq(X) 也包含其自身的 $2^{\text{card}(X)}$ 个副本的上积作为子格。