for G being addGroup
for A, B, C, D being Subset of G st A c= B & C c= D holds
A + C c= B + D