for G being addGroup
for A being Subset of G
for a being Element of G holds
( a in - A iff - a in A )