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.
cebirsel yapılar matematik-taslak