bugün

yari grup

mat.
işlemi asosiyatif olan grupoide verilen addır. yani x kümesine ait her a ve b elemanı için x kümesine ait a*b elemanı vardır. ayrıca x kümesine ait her a, b ve c elemanı için
a (b * c) = (a * b) * c
özelliği geçerlidir.