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