На множестве

задана бинарная операция, обозначенная символом

, с помощью следующей таблицы умножения (таблица Кэли):

(В произведении

первый сомножитель

указывает строку таблицы, второй сомножитель

указывает столбец таблицы, а произведение стоит на пересечении строки и столбца, например,

.)
Для элементов множества

относительно указанной операции справедливо утверждение: …