Semikumpulan

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

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

Dalam kata lain, semikumpulan ialah magma bersekutu.

Lihat juga

• Kumpulan