Definisi umum menyatakan bahwa suatu subhimpunan ruang topologi tertutup jika komplemennya di dalam ruang tersebut terbuka. Karena ruang yang sedang dipandang adalah \((A,\tau_A)\text{,}\) komplemen \(C\) bukan \(X\setminus C\text{,}\) melainkan \(A\setminus C\text{.}\) Jadi
\begin{equation*}
C\text{ tertutup relatif dalam }A
\quad\Longleftrightarrow\quad A\setminus C\in\tau_A.
\end{equation*}