コンパクトな埋め込み
数学におけるコンパクトに埋め込まれた () という概念は、集合あるいは空間が別のものの内部に「素性よく包含されている」ことを表すものである。この概念には位相空間論や函数解析学に対して適切となるいくつかの異なるヴァージョンが存在する。