Semigrup adalah struktur aljabar dengan dua operasi biner yang memenuhi syarat tertutup dan assosiatif. Sebuah monoid adalah semigrup yang memiliki unsur identitas, di mana contoh termasuk himpunan bilangan cacah dan bilangan bulat dengan operasi penjumlahan dan perkalian. Dokumen ini menjelaskan definisi, syarat, serta contoh semigrup dan monoid dengan buktinya.