– bul sonday $x$ elementi, onıń ushın $y$ elementi tabılıp, $xy=1$ qatnası (oń jaqlı kerileniwshilik) yamasa $yx=1$ (sol jaqlı kerileniwshilik) orınlanadı. Eger element oń jaqlı da hám sol jaqlı da kerileniwshi bolsa, onda ol eki jaqlı kerileniwshi (jiyi ápiwayı túrde aytqanda kerileniwshi) element delinedi. Birlikke iye bolǵan yarımgruppanıń barlıq eki jaqlı kerileniwshi elementleriniń kópligi - birlikke iye yarımgruppalardıń eń úlken úles gruppası boladı.