コンパクトな埋め込み
(X, T) を位相空間とし、V と W を X の部分集合とする。V は次の条件を満たすとき W にコンパクトに埋め込まれていると言い、V ⊂⊂ W または V ⋐ W と書く。
V ⊆ Cl(V) ⊆ Int(W). ここで Cl(V) は V の閉包を表し、Int(W) は W の内部を表す;
Cl(V) はコンパクトである。