for T being TopStruct
for A being Subset of T
for t being Point of T st t in A holds
Component_of (t,A) c= A