いやだからfが定義されるのは上のほうで定義されたAの部分集合だから
任意の集合じゃないし、馬鹿なの？