有向点族の概念は、点列概念と違い、添字が可算である事も全順序である事も要求しない。この事が有向点族に点列にはない優位性をもたらしており、例えば有向点族の収束の概念を用いれば、閉集合など位相空間の諸概念を特徴づける事ができる事が知られているが、点列の場合はそうではない。なぜなら点列概念は添字が可算である事が原因となり、点列で閉集合を特徴づけるには位相空間の方にも何らかの可算性を要求する必要が生じてしまうからである。詳細は列型空間を参照。
定義.
なお、コンパクトの定義において、元々のボルツァーノ・ワイエルシュトラスの定理と同様、有向点族ではなく点列に対してのみ収束部分列を要求したものを点列コンパクト性と呼ぶが、点列コンパクト性は距離空間においてはコンパクト性と同値（より一般的に擬距離空間でも同値）であるものの、無条件にはこの同値性は成立しない。点列コンパクト性に関する詳細は後述する。
ハイネ・ボレル性によるコンパクト性の定義.
定義.
コンパクト性の概念は以下のように特徴づける事ができる：
有限交差性.
ハイネ・ボレル性による定義における「開集合」の補集合を取って「閉集合」とし、さらに対偶を取る事で、コンパクト性の以下の特徴づけが得られる：
利用例.
具体的には以下の定理の証明をもとに、ハイネ・ボレル性の使い方を説明する：
それ以外の特徴づけ.
コンパクト性は、有向点族と本質的に同値な概念であるフィルターの収束によっても特徴づけられる。また普遍有向点族やその対応概念である超フィルターを用いても特徴づける事ができる。これまでに述べて特徴づけも含め、こうしたコンパクト性の様々な特徴づけを列挙する
性質.
閉集合.
コンパクトな位相空間の部分集合に関し、以下が言える：
距離空間におけるコンパクトの特徴づけ.
定理の記述に必要な諸概念.
全有界性.
全有界性は以下のようにも特徴づけられる事が知られている：
完備性.
詳細は完備距離空間の項目を参照されたい。
点列コンパクト.
位相空間が点列コンパクトとは、一般の有向集合ではなく点列に対してのみボルツァーノ・ワイエルシュトラス性が保証される事を意味する：