bugün

mat.
bir (*) ikili işlemine göre kapalı olan x kümesine denir. başka bir anlatımla her a ve b x kümesinin iki elemanı olsun.
(a * b), x kümesinin elemanı ise x kümesi kapalıdır ve bu küme grupoiddir.
mat.
(bkz: monoid)
(bkz: yarı grup)
(bkz: grup)