(X.τ) topolojik uzay olmak üzere;
((X,τ) ayrılabilir uzay)(A ϵ τ)) ⇒ (A,τ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?