Semikumpulan

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

 Tutupan: bagi semua ,  dalam ,  juga dalam .
 Sekutuan: bagi semua  dalam , .

Dalam kata lain, semikumpulan ialah magma bersekutu.

Lihat juga

 Kumpulan

Teori semikumpulan