for T being TopStruct
for Q being Subset of T
for A being SubSpace of T st Q is closed holds
for P being Subset of A st P = Q holds
P is closed