并排比较

两题都含有限集上的复合函数，但能否把内层函数值当作任意集合元素，取决于是否确有满射条件。先厘清像集，再决定直接重命名还是逐坐标分类。

一题没有双射假设，必须检查各可能像带来的坐标约束；另一题的满射允许内层像遍历整个集合。