位相空間の部分集合に対し、のにおける閉包がコンパクトであるときはで相対コンパクト()であるという。