for A being complex-membered set
for a being Complex holds A -- a = -- (a -- A) by Th71;