Aljabar

Semigrup, kuasigrup, dan monoid adalah struktur-struktur yang serupa dengan grup, tetapi bersifat lebih umum. Mereka memuat sebuah himpunan dan satu operasi biner tertutup, tetapi tidak perlu memenuhi persyaratan lainnya. Semigrup memiliki operasi biner "asosiatif", tetapi tidak memiliki elemen identitas. Monoid adalah semigrup yang memiliki elemen identitas, tetapi tidak memiliki invers untuk setiap elemen. Kuasigrup memenuhi persyaratan bahwa sembarang elemen dapat diubah menjadi elemen yang lain dengan perkalian-kiri atau perkalian-kanan yang tunggal; tetapi operasi binernya mungkin tidak bersifat asosiatif.