принцип относительность модели и моделируемого: все что угодно может быть моделью чего угодно
модельное отношение это упорядоченная пара (модель, моделируемое)
т.е. модель моделирует моделируемое, т.е. X является моделью Y, что обозначается (X,Y)
ps
меня занимает несколько другой аспект в свете последних обсуждений и последних авторов
а именно вот
serj_aleks говорил про перевернутую букву П как модель неоднократно и ведь это наверное глубоко правильно, и в том числе и поэтому у нас путаница была терминологическая
пример, вот три формальные фразы:
1) 2+3=5
2) a+b=c
3) несколько яблок и несколько апельсинов в коробке, сколько фруктов в коробке
мы можем считать модельной цепочкой/иерархией как цепочку сверху вниз, так и снизу вверх, иерархия моделей
типа каждая из этих строк может быть моделью другой строки
и что считать модель, а что считать моделируемым? тут произвол, который мы можем делать в любом порядке, если это соответствует нашим целям
интерпретацию и абстракцию мы можем в любую сторону направлять
1->2->3 или 3->2->1 или 2->3->1...
т.е. в наличии фундаментальное свойство относительность модели и моделируемого
ps
и про обозначения, поиграю с символами )
наркомания )
вот и буква П и перевернутая П (буква U, жаль что нет с уголками |_| , или буква Ц )
модель = буквы П и Ц ))
П - прямая модель
Ц - обратная модель
))
∏ ∐ (произведение и копроизведение)
⊓ ⊔ (квадратная крышка и квадратная чашка)
словосочетания "прямая модель", "обратная модель" в принципе нравятся
упорядоченная пара (модель, моделируемое) как модельное отношение - прямая модель
(модель, моделируемое) - прямая модель, буква П
(моделируемое, модель) - обратная модель, буква Ц
модель это триплет ((*,*),(*,*)) в общем случае,
тогда модельное отношение это упорядоченная пара:
( ((*,*),(*,*)) , ((*,*),(*,*)) )
это выражение можно назвать отношение триплетов