All groups are monoids, and all monoids are semi-groups.
Semua grup adalah monoid, dan semua monoid adalah semigrup.