theorem Th160: :: MEMBER_1:160

for A being complex-membered set
for a, b being Complex st b in A holds
a - b in a -- A