Изоморфизм

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

(2)

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