Dalam bab ini merupakan kelanjutan dari bab 1, jika dalam bab sebelumnya dijelaskan mengenai struktur aljabar yang mempunyai satu atau dua operasi biner, dalam bab ini akan dibahas mengenai Semigrup yang mempunyai satu prasyarat tertutup dan assosiatif dari operasinya dan bila Semigrup memiliki unsur kesatuan maka dinamakan Monoid.