G öbeğinin bir H altöbeği ile bir (?)öğesi için aH=Ha olacak biçimde alt altkümesi. bk. sol eşküme, sağ eşküme.
