>>14
すべての集合からすべての集合への単射、定義域の像は要素が1個の集合全体からなるクラス
集合化写像というネーミングは相応しくない