for Y being non empty TopStruct
for x being Point of Y holds Sspace x is SubSpace of MaxADSspace x