Yarı grup
Yarı öbek ya da yarıgrup, sadece bileşme özelliğini sağlayan bir ikili işlem tanımlanmış ve boştan farklı kümelerdir. İkili işlemin tanımından gelen kapılılık özelliğinin yanında sadece bileşme özelliği vardır. Çoğu zaman bileşmeli mağma da denir.