for T being non empty TopSpace
for G, F being Subset of T st G is open & F is closed holds
F \ G is closed