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