A monoid is a semi-group which does have an identity but might not have an inverse for every element.
Monoid adalah semigrup yang memiliki elemen identitas, tetapi tidak memiliki invers untuk setiap elemen.