よく使う
-----------------------------
compact
sequentially compact
-----------------------------

たまに目にする
-----------------------------
locally compact
relatively compact
-----------------------------

多様体の教科書で目にする
-----------------------------
paracompact
-----------------------------

知ってはいるけど何に使うのか知らない
-----------------------------
countably compact
pseudocompact
-----------------------------

wikiで見かけただけ
何に使うのかさっぱり分からん
-----------------------------
a-paracompact
metacompact
mesocompact
orthocompact
realcompact
-----------------------------