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