mula_28，因此确实 formula_29。如果并存在，它被指示为 formula_3。"A" 中的某些对元素可能缺乏并，要么因为它们根本就没有上界，要么因为它们的上界没有一个小于所有其他的。如果所有的元素对都有并，则这个并实际上是在 "A" 上的二元运算，并且容易看出这个运算满足下列三个条件: 对于 "A" 中任何元素 formula_1, formula_2 和 formula_7 有
泛代数定义.通过定义，在集合 "A" 上的二元运算 formula_37 是并，如果它满