Semikumpulan

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

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

Dalam kata lain, semikumpulan ialah magma bersekutu.

Lihat juga

• Kumpulan