Monoid itu apa sih? Jelaskan dalam bahasa melayu ya

Dalam matematik, monoid boleh ditakrifkan sebagai satu pasangan  yang terdiri daripada set  dan operasi dedua *, dan mematuhi aksiom-aksiom berikut:

Tutupan: untuk semua ,  dalam ,  juga dalam .

Sekutuan: bagi semua , ,  dalam , .

Identiti: wujud suatu unsur identiti,  dalam , sehingga untuk semua  dalam , .

Monoid yang mematuhi aksiom tambahan songsang merupakan sebuah kumpulan.