for G being addGroup
for A, B being Subset of G holds (- A) * B = - (A * B)