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