С = С ( I, R, A(S), A(ps) ,
A(SP) ) является образом системы-оригинала
С' = С ( I', R', А(S')), A(RS'), A(SR')).
Отображение множества С' на множество С является гомоморфным, если С имеет тот же состав, что и С' (обратное неверно). Из сказанного видно, что система-модель содержит меньшее число элементов и связей, чем система-оригинал, но все элементы и связи, которые имеются в модели, правильно копируют прототип.
Для выбора "правильной модели" не существует формальной процедуры, она определяется целями классификационных построений и уровнем знаний конкретного исследователя.
