Аннотация:
Описываются разрешимые ограниченные теории классов всех рефлексивных, иррефлексивных, симметричных, иррефлексивных симметричных, рефлексивных симметричных графов, а также класса всех графов. Получено описание разрешимых ограниченных теорий для класса всех унарных алгебр, сигнатура которых содержит более одной унарной операции.