for Y being discrete TopStruct
for A being Subset of Y holds the carrier of Y \ A in the topology of Y