有限要素は可算:有向集合Aについて∨Aが存在しx≤∨A{\displaystylex\leq\veeA}であるとき、x≤a{\displaystylex\leqa}であるようなa∈A{\displaystylea\inA}が存在する。
一个元素x是有限的(在域文献中也叫做孤立的)，当且仅当只要A是有向的，∨A存在并且x≤∨A{\displaystylex\leq\veeA}，就存在a∈A{\displaystylea\inA}有着x≤a{\displaystylex\leqa}。