Формализация понятия модели в терминах упорядоченных пар

Формальная модель = ((a,b),(c,d)) = ((a→b)→(c → d))

(a,b) — моделируемая структура
(c,d) — «модель» структуры (a,b)
связь (стрелка «→») обозначенная запятой «,» это формализация
((c,d),(a,b))=((c→d)→(a→b)) тут связь это интерпретация модели

Ну вот типа взяли построили модель какой-то структуры (неважно объект это или процесс какой-то), это означает мы формализовали изучаемый объект т.е. построили модель объекта.

Взяли какую-то структуру (модель объекта), там что-то посчитали, потом сопоставили результаты вычислений изучаемому объекту, это означает, что мы проинтерпретировали модель, проинтерпретировали результаты вычислений.

По идее совсем формально Формальная модель = (((a,b),(c,d)), ((c,d),(a,b))), т.е. включаем туда и формализация и обратную операцию — интерпретацию но так выглядит сложнее и можно упустить смысл.

https://deep-econom.livejournal.com/51142.html