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