Пусть на множестве

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

и представленная таблицей умножения.

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

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

.
Известно также, что эта операция удовлетворяет аксиоме ассоциативности.
Тогда алгебраическая структура

является …