还有在常见的集合论中的术语有限的意义不一致于序理论的“有限元素”的概念。
形式定义.在偏序集合 ("P",≤) 中，元素 "c" 被称为是紧致的(或有限的)，如果它满足下列等价的条件中的一个:如果此外偏序集合 "P" 还是并半格(就是说它有二元上确界)则这些条件等价于声称:特别是，如果 "c" = sup("S")，则 "c" 是 "S" 的有限子集的上确界。从定义涉及的概念可轻易的验证等价性。对并半格的情况要注意任何集合通过闭合在有限(非空)上确界下变成带有相同上确界