7.2. Yποομάδες της < R, + > είναι μόνο τα Z, Q, nZ.
Tα Ν, Q*, Q+ δεν είναι γιατί δεν περιέχουν το ταυτοτικό στοιχείο 0 της < R, + >,
άρα δεν ικανοποιούν την συνθήκη (2) του θεωρήματος 7.2.
(Σημείωση: Το Ν δεν ικανοποιεί ούτε την (3), δεν περιέχει π.χ. το προσθετικό αντίστροφο του 1).