SMS dit: Формации алгебраических систем