Dokumen ini membahas struktur aljabar semigrup dan monoid, menjelaskan definisi serta syarat-syarat yang harus dipenuhi untuk kedua konsep tersebut. Semigrup adalah grupoid dengan operasi biner yang bersifat tertutup dan asosiatif, sementara monoid adalah semigrup yang juga memiliki unsur identitas. Contoh-contoh disediakan untuk memperjelas penerapan kedua konsep ini dalam himpunan bilangan.