EK: (çarpım değişmeli ise veya tanım ax=xa=a şeklinde yapılırsa)
Daha az varsayımla bile doğru:
G bir yarıgrup (bir küme ve birleşme özelliğine sahip bir ikili işlem) olsun. (birleşme özelliği bile gereksiz ama o durumun bir adı yok)
x,y∈G, x soldan yutan, y sağdan yutan eleman olsun. (Tanımları tahmin edilebilir aşağıda da görülüyor,)
x soldan yutan eleman olduğu için xy=x
y sağdan yutan eleman olduğu için xy=y
olur. Bu nedenle x=y dir