for T being non empty TopStruct
for A being non empty SubSpace of T
for p being Point of A holds p is Point of T