順序理論において、半順序集合上のある要素が、その要素以上の元を持たない非空有向集合の上限に含まれないとき、コンパクトあるいは有限であるという。
在数学领域的序理论中，偏序集合的紧致或有限元素是还未包含在紧致元素之上的成员的任何非空有向子集的上确界所不能包容的那些元素。