Yarı öbek

Vikipedi, özgür ansiklopedi
Atla: kullan, ara

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. Öbeğin kapsamında kalan bir yapı olduğu için groupoid dendiği de olur.

Yarı öbekler bazen boş olmayan bir küme olarak tanımlanırlar, ancak bazen böyle bir şart konmaz. Örneğin, öbek kuramında birlikler, birim öğesi olan yarı öbekler olarak tanımlanırken, seçilen kümenin boş olduğu vurgulanır. Bunun nedeni yarı öbeğin boş olmadığını belirtmektir, çünkü zaten birliklerin en azından birim öğelerinin varlığı, belit gereği aşikardır.