(i) | $E \subseteq X$ is a D78: Subset |
(ii) | $\mathcal{I} : = \mathcal{I}_T(E)$ is the D3876: Set of isolated points of $E$ in $T$ |
(i) | $E \subseteq X$ is a D78: Subset |
(ii) | $\mathcal{I} : = \mathcal{I}_T(E)$ is the D3876: Set of isolated points of $E$ in $T$ |