格的同态与合同

本文对于格的合同之间的“≥”关系规定为1]中的对偶。设有两个格L，L’，L'为L的同态像，且以H与H'分别表示L与L’的合同的全体按“≥”关系构成的备格，我们证明了存在θ∈H，使θ](即备格H的元θ的上闭包)与H'同构。本文中的定理给出了此结果的一个应用。