マイルドな（心理的拒絶感が少ない）例：$`A \subseteq \mathrm{Pow}(X)`$ とする。すると、$`\mathrm{id}_A : A \to A`$ は恒等写像。ところで、$`A \subseteq \mathrm{Pow}(X)`$ だったので、$`\mathrm{id'}_A : A \to \mathrm{Pow}(X)`$ とみなせる。この…