theorem Th32: :: MEMBER_1:32

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