Jelaskan Contoh-contoh dari Pengurangan (teori model)

Monoid  mengenai bilangan bulat terhadap penambahan adalah pengurangan dari grup  mengenai bilangan bulat terhadap penambahan dan negasi, diperoleh denngan menghilangkan negasi. Dengan membandingkannya, monoid  mengenai bilangan asli terhadap penambahan bukanlah pengurangan suatu grup.

Sebaliknya grup  merupakan pengembangan dari monoid , memperluasnya dengan operasi negasi.