Chiusi di sottospazi

Proposizione

Sia $(X,\tau )$ è spazio topologico e $(Y,{\tau }_Y)$ suo sottospazio.
$C$ è chiuso in ${\tau }_Y⟺\exists D\in \tau$ chiuso $|C=D\cap Y$