Доказать изоморфизм

[bot]

Не всякий биективный гомоморфизм в случае предикатной сигнатуры является изоморфизмом. Здесь существенно, что он из $A$ в $A$.

[ok_go]

Нужно показать, что сохраняются отношения и для прообраза?

[bot]

Да.

[ok_go]

ну и как это сделать-то?

[bot]

Да сказано уже

bot в сообщении #734094 писал(а):

все истинные n-ки относительно данного n-местного предиката) перейдут в истинные, все места заняты ...

Может ли ложная перейти в истинную?

[ok_go]

понятно.
спасибо