>>119644
>Мне кажется это утверждение ложно. Чисто формально: что вверху не может быть идентично тому что внизу,

Обрати внимание на формулировку: "нетривиальное отражение" - в математическом смысле это означает не буквальную копипасту, а структурное сходство. А если как ты говоришь, было бы точно одинаковая копия, то это было бы как раз "тривиальное" когда для каждый икс из А равно в точности игрек из Б. Но этот вырожденный случай нам не интересен вообще. Нетривиальное отражение вселенной фон Неймана это как раз не копия как файл, а то что в топологии называют дуальностью/изоморфизмом.