theorem Th4: :: FRECHET:4

for T being TopSpace
for A, B being Subset of T st A is open & B is closed holds
A \ B is open