コンパクト空間の類似概念