Aljabar

Semua grup adalah monoid, dan semua monoid adalah semigrup.