Given a set with an addition operation, one cannot always define a corresponding subtraction operation on that set; the set of natural numbers is a simple example.
Δοθέντος ενός συνόλου με μια προσθετική πράξη, κάποιος δε μπορεί πάντα να ορίσει μια αντίστοιχη αφαιρετική πράξη σε αυτό το σύνολο; το σύνολο των φυσικών αριθμών είναι ένα απλό παράδειγμα.