theorem Th34: :: MEMBER_1:34

for A, B being complex-membered set holds (A \ B) "" = (A "") \ (B "")