On the other hand, a subtraction operation uniquely determines an addition operation, an additive inverse operation, and an additive identity; for this reason, an additive group can be described as a set that is closed under subtraction.
Από την άλλη, μια αφαιρετική πράξη προσδιορίζει μοναδικά μια προσθετική πράξη, μια προσθετική αντίστροφη πράξη, και μια προσθετική ταυτότητα; για αυτό το λόγο, μια προσθετική ομάδα μπορεί να περιγραφτεί σαν ένα σύνολο κλειστό ως προς την αφαίρεση.