Бинарная операция
Алгебраическая система, структура
Ассоциативная бинарная операция
Коммутативная (абелева) бинарная операция
Единичный (нейтральный) элемент
Количество элементов в алгебраической структуре
Полугруппа
Моноид
Мощность множества