コンパクト要素

順序理論において、半順序集合上のある要素が、その要素以上の元を持たない非空有向集合の上限に含まれないとき、コンパクトあるいは有限であるという。コンパクト性の概念は他にもあり、特に通常の集合論的な意味での「有限」という用語は順序理論においての「有限要素」の概念とは両立しないことに注意。

この神経はここで途切れています。