На множестве  бинарная операция, обозначенная символом , задана таблицей
.
Если , то для произведения  первый сомножитель указывает строку таблицы, второй – столбец, а результат, т.е. произведение, находится на пересечении строки и столбца.
Тогда алгебраическая структура  является …