Операции с моделями.

[deep_econom]

Операции с моделями (комплексами стрелок/морфизмов). Черновик. Будет дополняться, изменяться, формализовываться.
===
композиции
пересечение (конъюнкция)
объединение (дизъюнкция)
дополнение (отрицание)
разность
ограничения области
ограничения существования
вложения/сравнение
инверсии
композиции
транзитивное замыкание
абстрагирование
специализация
сериализация
вложение
выводимость/следствие
8-дукций
эвристики
гомоморфизмы/изоморфизмы/биекции
===