当且仅当 formula_41。实际上，这个关系是在 "A" 上的偏序。对于 "A" 中任何元素 formula_1, formula_2 和 formula_7 有
两个定义的等价性.如果 ("A",formula_4) 是偏序集合，使得对于每对 "A" 中的元素都有交，则确实有 formula_41 当且仅当 formula_40，因为在后者情况下 formula_1 确实是 formula_1 和 formula_2 的下界，并且明显的 formula_1 是最大下界当且仅当