Kompaktheitseigenschaft einer Teilmenge eines topologischen Raumes.

Es seien T ein topologischer Raum und \(M\subseteq T\) eine Teilmenge von T. Dann heißt M relativ kompakt, wenn der topologische Abschluß \(\overline{M}\) ein kompakter topologischer Raum ist.