二元运算中描述的技术。可作为替代的，并定义或定义自偏序，"A" 的某个子集的确有关于它的上确界。对于非空有限子集，这两种方式生成同样的结果，因此任何一个都可以作为并的定义。在 "A" 的每个子集都有并的情况下，实际上 ("A",formula_4) 是完全格；详情请参见完全性 (序理论)。