theorem Th16: :: MEMBER_1:16

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