for A, B being complex-membered set holds (-- A) /// B = -- (A /// B) by Th94;