Множество , бинарная операция на котором определена таблицей
,
является группой с единичным элементом  (это группа симметрий правильного треугольника). Множество  – подгруппа группы .
Тогда левым смежным классом группы  по подгруппе , порождённым элементом , является множество …