theorem Th15: :: MEMBER_1:15

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