bugün

mat.
birim elemanı bulunan bir yarı gruptur.ve bundan dolayıdır ki yarı grubun özelliklerine ek olarak x kümesinin elemanı her a için
e * a = a * e = a
özelliğine sahip bir e birim elemanına sahiptir.
mat.
(bkz: grupoid)
(bkz: yarı grup)
(bkz: grup)