theorem Th36: :: MEMBER_1:36

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