theorem Th163: :: MEMBER_1:163

for A, B being complex-membered set
for a being Complex holds
( A c= B iff a -- A c= a -- B )