En mathématiques, une partie relativement compacte d'un espace topologique X est un sous-ensemble Y de X inclus dans une partie compacte de X. Lorsque X est séparé, cette condition équivaut à : l'adhérence  de Y est compacte (pour la topologie induite).