theorem Th1: :: OPENLATT:1

for T being TopSpace
for A, B being Subset of T holds A /\ (Int ((A `) \/ B)) c= B