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