Изоморфизм

Пусть система аксиом Т имеет две реализации R(T) и R^'(T). Тогда согласно выводу 1 (п.6.4) между объектами R_i и R^'_i реализующими базовые множества М_i, устанавливается взаимно однозначное соответствие по схеме

 

(2)

 

Что можно сказать о соответствии между реализациями соотношений Р_i в R_i и реализациями отношений P^'_i в R^'_i ? Рассмотрим два примера.