Напомним, что левым смежным классом элемента $g$ группы $G$ относительно подгруппы $H$ называется множество $gH$. Множество всех левых смежных классов обозначают $G/H$. Множество правых смежных классов группы $G$ относительно подгруппы $H$ (множеств вида $Hg$) обозначают $H \backslash G$. (Не следует путать фактор с разностью множеств.)