generated at
クラス関数
class function
始域/終域の少なくとも一方が真クラスである写像



https://m-hiyama.hatenablog.com/entry/20180319/1521434865
https://ncatlab.org/nlab/show/class+function+(set+theory)