Левым (правым) смежным классом группы $G$ относительно подгруппы $H$ называется множество вида $aH=\{ax\mid x\in H\}$ (соответственно, вида $Ha=\{xa\mid x\in H\}$).