コンパクト化
スミノフのコンパクト化(英語版) : 有界な一様連続関数全体から定まる一様空間上のコンパクト化。
ヒグソンのコンパクト化 : ヒグソン関数全体から定まるcoarse空間上のコンパクト化。
ボーアのコンパクト化(英語版) :有界な一様概周期関数(英語版)全体から定まる位相群上のコンパクト化。