Теория моделей. Часть 9. Подмодели

Общие рассуждения про отображения между моделями и варианты их настройки через ограничения их как функций, ограничения на множество сохраняемых формул, ограничени яна связь между доменами моделей. Введение понятия подмодели и лемма об образе модели в подмодели. Донатить можно тут: https://mathem.at/Materials/maglish_index.html#support