Пересечение изоморфизмов

[Froylen]

Как доказать, что изоморфизм пересечения множеств равен пересечению изоморфизмов этих множеств?
Вообще, если это просто отображение, то в этом утверждении не знак равно, а знак вложения (свойства образов). Вот меня интересует, если это биекция, то можно ли поставить равно?

И вроде как, очевидно, что можно, и первое утверждение справедливо, но как обосновать?

[arseniiv]

У изоморфизма есть обратный, от которого тоже получаеся вложение, но в другую сторону.

[Froylen]

Спасибо!

[iifat]

Froylen в сообщении #1020101 писал(а):

изоморфизм пересечения множеств равен

Вы, похоже, думаете, что «изоморфизм множества» означает «образ множества». Вы, по-моему, ошибаетесь.