Алгебраические системы: определение и примеры. Понятие полугруппы, моноида, груп