Гомоморфизм.

 

Пусть , – система-оригинал и ее модель, a – гомоморфизм из в причем отображение сюръективно. Отображение называется сюрьективным (накрытием, или отображением на), если для каждого найдется такое , что . Иначе . Тогда система называется гомоморфной моделью в том и только в том случае, когда

. (2.6)

Аналогично определяется понятие гомоморфных моделей для структурированных и динамических систем.