For eksempel, + 1 = + (0) = ( + 0) = (). structure (, +) er en kommutativ semigruppe med identitetselement 0. (, +) er også en cancellative magma, og derfor embeddable i en gruppe. Den minste gruppen som inneholder er de hele tallene.