Semikumpulan

Dalam matematik, kumpulan ialah set S dengan operasi dedua * yang mematuhi aksiom-aksiom berikut:

• Tutupan: bagi semua ${\displaystyle a}$, ${\displaystyle b}$ dalam ${\displaystyle S}$, ${\displaystyle a*b}$ juga dalam ${\displaystyle S}$.
• Sekutuan: bagi semua ${\displaystyle a,b,c}$ dalam ${\displaystyle S}$, ${\displaystyle (a*b)*c=a*(b*c)}$.

Dalam kata lain, semikumpulan ialah magma bersekutu.

Lihat juga

• Kumpulan