theorem Th20: :: YELLOW_8:20

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