for A, B being complex-membered set st -- A = -- B holds
A = B