theorem Th17: :: MEMBER_1:17

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