О классе моделей, замкнутых относительно прямого произведения

В работе дается характеристика аксиом, приводимых к хорновскому виду (условного класса), и дан пример мультипликативно замкнутой аксиомы, не приводимой к хорновскому виду. Указаны виды мультипликативно замкнутых аксиом.