>>503
写像 f(a)=b に対して f({a})={b} と書いてある教科書をご教示下さい。

写像f が集合間写像である汎写像を定義する、という類の説明は別の問題、ということでよろしく。。