(X.$\tau$) topolojik uzay olmak üzere;
((X,$\tau$) ayrılabilir uzay)(A $\epsilon$ $\tau$)) $\Rightarrow$ (A,$\tau_A$) ayrılabilir uzaydır. Gösteriniz
Bunun için neler yaptığını ve ispatın neresinde takıldığını da bizimle paylaşır mısın?