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