它满足上述三个条件 a, b 和 c。有序对 ("A",formula_37) 就是并半格。此外，我们可以定义在 "A" 上的二元关系 formula_4，通过声称 formula_40 当且仅当 formula_41。事实上，这个关系是在 "A" 上的偏序。实际上，对于 "A" 中任何元素 formula_1, formula_2 和 formula_7 有
两个定义的等价性.如果 ("A",formula_4) 是偏序集合，使得 "A" 中每对元素都有并，则确实 formula