>>485
{f(a)}の元が1つというのはあくまで
aを固定したときに1つというだけの話なので
そのあたりの誤解が無いように
f({a})と書いた。
{a}という始集合であれば、aは1つしか選べないからな。