theorem Th11: :: MEMBER_1:11

for A being complex-membered set
for a being Complex holds
( a in A iff - a in -- A )