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